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

Αποτελέσματα
	1.	Categorical logic and type theory / Bart Jacobs. από Jacobs, Bart [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 141. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier, 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 JAC . Προσθήκη στο καλάθι (αφαίρεση)
	2.	Theory of relations / Roland Fraisse ; with an appendix by Norbert Sauer. από Fraisse, Roland [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 145. Έκδοση: Rev. ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier, 2000 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 FRA. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Foundations of set theory / Abraham A. Fraenkel, Yehoshua Bar - Hilllel, Azriel Levy ; with the collaboration of Dirk van Dalen. από Fraenkel, Abraham Adolf, 1891-1965 [συγγραφέας.] Bar-Hiller, Yehoshua [συγγραφέας.] Lévy, Azriel, 1934- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 67. Έκδοση: 2nd, rev. ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam ; London : North-Holland, 1973 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.322 FRA. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Abstract set theory / Fraenkel Abraham A. από Fraenkel, Abraham Adolf, 1891-1965 [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Έκδοση: 3rd, rev. ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North - Holland, 1966 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.322 FRA. Προσθήκη στο καλάθι (αφαίρεση)
	5.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Descriptive set theory / Yiannis N. Moschovakis. από Μοσχοβάκης, Γιάννης Ν [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 100. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North Holland, 1980 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: Π/Σ 511.322 ΜΟΣ. Προσθήκη στο καλάθι (αφαίρεση)
	6.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / H. Jerome Keisler. από Keisler, H. Jerome [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 62. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North - Holland, 1971 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 ΚΕΙ. Προσθήκη στο καλάθι (αφαίρεση)
	7.	Set theory : with an introduction to descriptive set theory / K. Kuratowski and A. Mostowski. από Kuratowski, Kazimierz, 1896-1980 [συγγραφέας.] Mostowski, Andrzej, 1913-1975 [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 86. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1976 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.322 KUR. Προσθήκη στο καλάθι (αφαίρεση)
	8.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Truth and consequence in mediaeval logic / Ernest A. Moody. από Moody, Ernest A. (Ernest Addison), 1903- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1953 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 160 MOO. Προσθήκη στο καλάθι (αφαίρεση)
	9.	Residuated lattices : an algebraic glimpse at substructural logics / Nikolaos Galatos...[et al.]. από Galatos Nikolaos [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 151. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier, 2007 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.33 GAL. Προσθήκη στο καλάθι (αφαίρεση)
	10.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Contributions to non-standard analysis / edited by W. A. J. Luxemburg and A. Robinson. από Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany) Luxemburg, W. A. J, 1929- [επιμελητής.] Robinson, Abraham, 1918-1974 [επιμελητής.] Σειρά: Studies in logic and the foundations of mathematics ; 69. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1972 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 515 SYM. Προσθήκη στο καλάθι (αφαίρεση)
	11.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Ancient formal logic / I.M. Bochenski. από Bochenski, Joseph M, 1902-1995 [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1963 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 ΒOC. Προσθήκη στο καλάθι (αφαίρεση)
	12.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Combinatory logic / Haskell B. Curry; Robert Feys ; with two sections by William Craig. από Curry, Haskell B. (Haskell Brooks), 1900- [συγγραφέας.] Feys, Robert, 1889- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1958-1972 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.3 CUR, ... Προσθήκη στο καλάθι (αφαίρεση)
	13.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Constructivity in mathematics : proceedinds of the Colloquium held at Amsterdam, 1957 / edited by A. Heyting. από International Colloquium "Constructivity in Mathematics" (1957 : Amsterdam, Netherlands) Heyting, A. (Arend), 1898- [επιμελητής.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1959 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 510.1 INT. Προσθήκη στο καλάθι (αφαίρεση)
	14.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Formal systems and recursive functions : proceedings of the eighth logic Colloquium Oxford, July 1963 / edited by J.N. Crossley; M.A.E. Dummett. από Logic Colloquium (8th : 1963 : Oxford, Oxfordshire) Crossley, John N [επιμελητής.] Dummett, Michael, 1925-2011 [επιμελητής.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1965 Άλλος τίτλος: studies in logic and the foundations of mathematic Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 LOG. Προσθήκη στο καλάθι (αφαίρεση)
	15.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Lincos : design of a language for cosmic intercourse / Hans Freudenthal. από Freudenthal, Hans, 1905- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1960 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 FRE. Προσθήκη στο καλάθι (αφαίρεση)
	16.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη The logical systems of Lesniewski : studies in logic and the foundations of mathematics / Eugene C. Luschei. από Luschei, Eugene C [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1962 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 LUS. Προσθήκη στο καλάθι (αφαίρεση)
	17.	Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 / edited by George Metakides. από Logic Symposion Patras, Greece) (1980 Metakides, George, 1945- [επιμελητής.] Σειρά: Studies in logic and the foundations of mathematics ; 109. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1982 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 LOG. Προσθήκη στο καλάθι (αφαίρεση)
	18.	Computability, complexity, logic / E. Börger. από Börger, E. (Egon), 1946- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 128. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Γλώσσα: Αγγλικά Original language: German Λεπτομέρειες δημοσίευσης: Amsterdam ; New York : New York, N.Y., U.S.A. North-Holland ; Distributors for the U.S.A. and Canada : Elsevier Science Pub. Co., 1989 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 BOR. Προσθήκη στο καλάθι (αφαίρεση)
	19.	Handbook of mathematical logic / edited by Jon Barwise. από Barwise, Jon [επιμελητής] Σειρά: Studies in logic and the foundations of mathematics ; 90. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam ; Netherlands : North-Holland ; Elsevier, 1977, [reprint 1978] Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: Π/Σ 511.3 HAN. Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.3 HAN, ... Προσθήκη στο καλάθι (αφαίρεση)
	20.	The lambda calculus : its syntax and semantics / H. P. Barendregt. από Barendregt, H. P. (Hendrik Pieter) [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Έκδοση: Rev. ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier, 1984 [4th impression 1998] Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.35 BAR. Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

Συλλογές

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

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

Τοποθεσίες

Σειρά

Θέματα

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