Η αναζήτηση επέστρεψε 5 αποτελέσματα.

Αποτελέσματα
	1.	Set theory and the continuum problem Raymond M. Smullyan and Melvin Fitting από Smullyan, Raymond M Fitting, Melvin, 1942- Σειρά: Oxford logic guides ; 34 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Oxford Clarendon Press 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 S. Προσθήκη στο καλάθι (αφαίρεση)
	2.	First-order modal logic Melvin Fitting and Richard L. Mendelsohn από Fitting, Melvin, 1942- Mendelsohn, Richard L Σειρά: Synthese library : studies in epistemology, logic, methodology and philosophy of sciemce Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht KLuwer Academic Publishers 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 FIT. Προσθήκη στο καλάθι (αφαίρεση)
	3.	First-order logic and automated theorem proving / Melvin Fitting. από Fitting, Melvin, 1942- Σειρά: Graduate texts in computer science Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York : Springer, c1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.3 F, ... Μηχανικών Η/Υ και Πληροφορικής (3)Ταξιθετικός αριθμός: 511.3 FIT, ... Προσθήκη στο καλάθι (αφαίρεση)
	4.	First-order logic and automated theorem proving / Melvin Fitting. από Fitting, Melvin, 1942- [συγγραφέας] Σειρά: Text and monographs in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: New York : Springer, c1990 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 FIT. Προσθήκη στο καλάθι (αφαίρεση)
	5.	Intuitionistic logic, model theory and forcing / Melvin Chris Fitting. από Fitting, Melvin, 1942- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1969 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.34 FIT. Προσθήκη στο καλάθι (αφαίρεση)

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας