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

Αποτελέσματα
	21.	Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. από Odifreddi, Piergiorgio, 1950- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 125, 143. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Amsterdam ; New York : New York, N.Y., USA : North-Holland ; Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 1989-1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 ODI. Προσθήκη στο καλάθι (αφαίρεση)
	22.	Tools and techniques in modal logic / Marcus Kracht. από Kracht, Marcus [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 142. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Amsterdam ; New York : Elsevier, 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: 511.3 KRA. Προσθήκη στο καλάθι (αφαίρεση)
	23.	Ordinal algebras / by Alfred Tarski. από Tarski, Alfred [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1956 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 TAR. Προσθήκη στο καλάθι (αφαίρεση)
	24.	The lambda calculus : its syntax and semantics / H. P. Barendregt. από Barendregt, H. P. (Hendrik Pieter) [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 103. Έκδοση: Rev. ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier, 1984 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.35 BAR. Προσθήκη στο καλάθι (αφαίρεση)
	25.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη The foundations of intuitionistic mathematics : especially in relation to recursive functions / Stephen Cole Kleene and Richard Eugene Vesley. από Kleene, Stephen Cole, 1909-1994 [συγγραφέας.] Vesley, Richard Eugene, 1932- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1965 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 KLE. Προσθήκη στο καλάθι (αφαίρεση)
	26.	Foundations of infinitesimal stochastic analysis / K.D. Stroyan and Jose Manuel Bayod. από Stroyan, K. D [συγγραφέας.] Bayod, Jose Manuel [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 119. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 519.2 STR. Προσθήκη στο καλάθι (αφαίρεση)
	27.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Nomological statements and admissible operations / Hans Reichenbach. από Reichenbach, Hans, 1891-1953 [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1954 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 REI. Προσθήκη στο καλάθι (αφαίρεση)
	28.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Solvable cases of the decision problem / W. Ackermann. από Ackermann, W. (Wilhelm), 1896- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1954 [2nd printing 1962] Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 ACK. Προσθήκη στο καλάθι (αφαίρεση)
	29.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Mathematical interpretation of formal systems / Th. Skolem...[et.al.]. από Skolem, Th. (Thoralf), 1887-1963 [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1955 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 MAT. Προσθήκη στο καλάθι (αφαίρεση)
	30.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Ordinal algebras / Tarski Alfred ; with appendices by Chen-Chung Chang and Bjarni Jónsson. από Tarski, Alfred [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1956 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 TAR. Προσθήκη στο καλάθι (αφαίρεση)
	31.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Aristotle's modal syllogisms / Storrs McCall. από McCall, Storrs [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1963 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 166 McC. Προσθήκη στο καλάθι (αφαίρεση)
	32.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel / Andrzej Mostowski. από Mostowski, Andrzej [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1964 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 MOS. Προσθήκη στο καλάθι (αφαίρεση)
	33.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Toward a systematic pragmatics / by R. M. Martin. από Martin, R. M. (Richard Milton), 1916- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North - Holland, 1959 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 144.3 MAR. Προσθήκη στο καλάθι (αφαίρεση)
	34.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Complete theories / Abraham Robinson. από Robinson, Abraham, 1918-1974 [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1956 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 512 ROB. Προσθήκη στο καλάθι (αφαίρεση)
	35.	Model theory / C. C. Chang and H. J. Keisler. από Chang, Chin-Chen, 1927- [συγγραφέας.] Keisler, H. Jerome [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 73. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1973 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.8 CHA. Προσθήκη στο καλάθι (αφαίρεση)
	36.	Set theory : an introduction to large cardinals / Frank R. Drake. από Drake, F. R. (Frank Robert) [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 76. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1974 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.322 DRA. Προσθήκη στο καλάθι (αφαίρεση)
	37.	Introduction to model theory and to the metamathematics of algebra / Abraham Robinson. από Robinson, Abraham, 1918-1974 [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Έκδοση: 2nd, rev. ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1974 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: Π/Σ 512.02 ROB. Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 512.02 ROB. Προσθήκη στο καλάθι (αφαίρεση)
	38.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Axiomatic set theory / Bernays, Paul ; with a historical introduction by Abraham A. Fraenkel. από Bernays, Paul, 1888- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1968 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.322 BER. Προσθήκη στο καλάθι (αφαίρεση)
	39.	Mathematical logic and foundations of set theory : proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 / edited by Yehoshua Bar-Hillel. από International Colloquium on Mathematical Logic and Foundations of Set Theory Jerusalem) (1968 Bar-Hiller, Yehoshua [επιμελητής.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1970 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 INT. Προσθήκη στο καλάθι (αφαίρεση)
	40.	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. Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

Συλλογές

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

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

Τοποθεσίες

Σειρά

Θέματα

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