Εμφανίζονται
1 - 5
Αποτελέσματα από
5
για την αναζήτηση '
Fitting, Melvin 1942-
'
Μετάβαση στο περιεχόμενο
VuFind
Γλώσσα
English
Ελληνικά
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Συγγραφέας
Fitting, Melvin 1942-
Εμφανίζονται
1 - 5
Αποτελέσματα από
5
για την αναζήτηση '
Fitting, Melvin 1942-
'
, χρόνος αναζήτησης: 0,01δλ
Περιορισμός αποτελεσμάτων
Ταξινόμηση
Ανά σχετικότητα
Ανά Ημερομηνία (φθιν.)
Ανά Ημερομηνία (αυξ.)
Ανα Ταξιθετικό Αριθμό
Ανά συγγραφέα
Ανά Τίτλο
1
First-order logic and automated theorem proving /
ανά
Fitting
,
Melvin
1942
-
Έκδοση 1990
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Βιβλίο
Φορτώνει…
2
Intuitionistic logic, model theory and forcing /
ανά
Fitting
,
Melvin
1942
-
Έκδοση 1969
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Βιβλίο
Φορτώνει…
3
First-order logic and automated theorem proving /
ανά
Fitting
,
Melvin
1942
-
Έκδοση 1996
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Βιβλίο
Φορτώνει…
4
First-order modal logic
ανά
Fitting
,
Melvin
1942
-
Έκδοση 1998
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Βιβλίο
Φορτώνει…
5
Set theory and the continuum problem
ανά
Smullyan, Raymond M.
Έκδοση 1996
Άλλοι συγγραφείς:
“…
Fitting
,
Melvin
1942
-…”
Ταξιθετικός Αριθμός:
Φορτώνει…
Βρίσκεται σε:
Φορτώνει…
Βιβλίο
Φορτώνει…
Εργαλεία αναζήτησης:
Λήψη RSS
–
Αποστολή αναζήτησης με email
Σχετικά θέματα
Λογική, Συμβολική και μαθηματική
Ηλεκτρονικοί υπολογιστές
Λογική
Μαθηματικά μοντέλα
Μαθηματικές αρχές
Σύνολα, Θεωρία των
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών