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

Αποτελέσματα
	1.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)

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