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

Αποτελέσματα
	41.	Computability and logic George S. Boolos, John P. Burgess, Richard C. Jeffrey από Boolos, George S Jeffrey, Richard Burgess, John P, 1948- Έκδοση: 4th ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 2002 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 BOO. Φιλοσοφίας (1)Ταξιθετικός αριθμός: 510 Β. Προσθήκη στο καλάθι (αφαίρεση)
	42.	Automata theory and its applications Bakhadyr Khoussainov, Anil Nerode από Khoussainov, Bakhadyr, 1961- Nerode, Anil, 1932- Σειρά: Progress in computer science and applied logic ; 21 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston Birkhauser 2001 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 K. Προσθήκη στο καλάθι (αφαίρεση)
	43.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Μαθηματική λογική Γιώργος Μητακίδης από Μητακίδης, Γιώργος Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Greek, Modern (1453- ) Λεπτομέρειες δημοσίευσης: Πάτρα Οργανισμός Εκδόσεως Διδακτικών Βιβλίων 1980 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 ΜΗΤ, ... Προσθήκη στο καλάθι (αφαίρεση)
	44.	Introduction to mathematical logic. Vol. 1 by Alonzo Church από Church, Alonzo Σειρά: Princeton Mathematical Series ; 17 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New Jersey Princeton University Press 1956 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 CHU. Προσθήκη στο καλάθι (αφαίρεση)
	45.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη From Frege to Godel a source book in mathematical logic, 1879-1931 Jean van Heijenoort από Van Heijenoort, Jean, 1912-1986 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge, MA Harvard University Press 1967 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ΗΕΙ. Προσθήκη στο καλάθι (αφαίρεση)
	46.	Introduction to metamathematics by Stephen Cole Kleene από Kleene, Stephen Cole, 1909-1994 Σειρά: Bibliotheca Mathematica ; 1 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Groningen Wolters-Noordhoff Publishing 1971 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.32 KLE. Προσθήκη στο καλάθι (αφαίρεση)
	47.	Mathematical logic Stephen Cole Kleene από Kleene, Stephen Cole, 1909-1994 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York John Wiley & Sons, inc. 1967 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 KLE. Προσθήκη στο καλάθι (αφαίρεση)
	48.	Essentials of symbolic logic R. L. Simpson από Simpson, Robert L Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: london New York Routledge 1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 SIM. Προσθήκη στο καλάθι (αφαίρεση)
	49.	Mathematical logic for computer science Mordechai Ben - Ari από Mordechai, Ben-Ari Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Springer 2001 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (5)Ταξιθετικός αριθμός: 511.302 85 MOR, ... Προσθήκη στο καλάθι (αφαίρεση)
	50.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Στοιχεία μαθηματικής λογικής Αθ. Τζουβάρα από Τζουβάρας, Αθανάσιος Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Greek, Modern (1453- ) Λεπτομέρειες δημοσίευσης: Θεσσαλονίκη Π. Ζήτης & Σία Ο.Ε. 1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.3 ΤΖΟ, ... Προσθήκη στο καλάθι (αφαίρεση)
	51.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Logic, semantics, metamathematics papers from 1923 to 1938 Alfred Tarki; translated by J. H. Woodger από Tarski, Alfred [aut] Woodger, J. H [trl] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Glasgow Oxford university press 1956 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 160 ΤAR. Προσθήκη στο καλάθι (αφαίρεση)
	52.	Toward a logic of meanings Jean Piaget, Rolando Garcia; preface by Barbel Inhelder ; edited by Philip M. Davidson & Jack Easley από Piaget, Jean, 1896-1980 Inhelder, Bärbel [aui] Davidson, Philip M [edt] Easley, Jack [edt] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Hillsdale, N.J. Lawrence Erlbaum 1991 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Επιστημών της Εκπαίδευσης και Κοινωνικής Εργασίας (2)Ταξιθετικός αριθμός: 153.43 PIA, ... Προσθήκη στο καλάθι (αφαίρεση)
	53.	Recursion theory for metamathematics Raymond M. Smullyan από Smullyan, Raymond M Σειρά: Oxford logic guides ; 22 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Oxford University Press 1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.35 SMU. Προσθήκη στο καλάθι (αφαίρεση)
	54.	The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory / by Kurt Godel από Gödel, Kurt [συγγραφέας.] Σειρά: Annals of mathematics studies ; 3. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Princeton : Princeton University Press, 1940 [8th reprint 1968] Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (3)Ταξιθετικός αριθμός: Π/Σ 510.1 GOD, ... Προσθήκη στο καλάθι (αφαίρεση)
	55.	Introduction to mathematical logic Elliott Mendelson από Mendelson, Elliott Σειρά: The University series in undergraduate mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York D. Van Nostrand Company 1964 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 MEN. Προσθήκη στο καλάθι (αφαίρεση)
	56.	Elements of logic and foundations of mathematics Wictor Marek and Janusz Onyskiewicz από Marek, Wictor V Onyskiewicz, Janusz Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Warczawa Pwn - Polish Scientific Puplishers 1982 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 MAR. Προσθήκη στο καλάθι (αφαίρεση)
	57.	Logic for mathematicians A. G. Hamilton από Hamilton, E. G Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge university press Campbridge university press 1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ΗΑΜ. Προσθήκη στο καλάθι (αφαίρεση)
	58.	Continuous lattices and their applications edited by Rudolf-E. Hoffmann and Karl H. Hofmann από Hoffmann, Rudolf E Hofmann, Karl H Σειρά: Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Marcel Dekker, Inc. 1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.33 HOF. Προσθήκη στο καλάθι (αφαίρεση)
	59.	The strange logic of random graphs Joel Spencer από Spencer, Joel H Σειρά: Algorithms and combinatorics ; 22 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 2001 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.5 SPE. Προσθήκη στο καλάθι (αφαίρεση)
	60.	Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, C. J. Hogger και J. A. Robinson. από Gabbay, Dov M, 1945- [επιμελητής.] Hogger, Christopher John [επιμελητής.] Robinson, J. A. (John Alan) [επιμελητής.] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Κοινό: Γενικό; Λεπτομέρειες δημοσίευσης: Oxford : Clarendon Press, 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 HAN. Προσθήκη στο καλάθι (αφαίρεση)

Βελτιώστε την αναζήτησή σας

Διαθεσιμότητα

Συγγραφείς

Συλλογές

Βιβλιοθήκες που διαθέτουν αντίτυπα

Τύποι τεκμηρίου

Τοποθεσίες

Σειρά

Θέματα

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