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

Αποτελέσματα
	21.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	22.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	23.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	24.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	25.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	26.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	27.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	28.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	29.	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. Προσθήκη στο καλάθι (αφαίρεση)
	30.	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. Προσθήκη στο καλάθι (αφαίρεση)
	31.	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. Προσθήκη στο καλάθι (αφαίρεση)
	32.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	33.	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. Προσθήκη στο καλάθι (αφαίρεση)
	34.	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. Προσθήκη στο καλάθι (αφαίρεση)
	35.	Algebra of proofs / M. E. Szabo. από Szabo, M. E [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam ; North-Holland, 1978 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.360 285 63 SZA. Προσθήκη στο καλάθι (αφαίρεση)
	36.	Mathematical interpretation of formal systems / Th. Skolem...[et.al.]. από Skolem, Th. (Thoralf), 1887-1963 [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1971 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 MAT. Προσθήκη στο καλάθι (αφαίρεση)
	37.	Complete theories / Abraham Robinson. από Robinson, Abraham, 1918-1974 [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1977 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 512 ROB. Προσθήκη στο καλάθι (αφαίρεση)
	38.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Solvable cases of the decision problem / W. Ackermann. από Ackermann, W. (Wilhelm), 1896- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1954 [3rd printing 1968] Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 ACK. Προσθήκη στο καλάθι (αφαίρεση)
	39.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Languages with expressions of infinite length / Carol R. Karp. από Karp, Carol, 1926-1972 [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1964 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 KAR. Προσθήκη στο καλάθι (αφαίρεση)
	40.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Recursive analysis / R. L. Goodstein. από Goodstein, R. L. (Reuben Louis) [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1961 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.35 GOO. Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

Συλλογές

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

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

Τοποθεσίες

Σειρά

Θέματα

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