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

Αποτελέσματα
	361.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη The problem of inductive logic / edited by Imre Lakatos. από International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre [επιμελητής.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Amsterdam : North Holland, 1968 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 INT. Προσθήκη στο καλάθι (αφαίρεση)
	362.	Selected works / Łukasiewicz Jan ; edited by L. Borkowski. από Łukasiewicz, Jan [συγγραφέας.] Borkowski, Ludwik [επιμελητής.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Γλώσσα: Αγγλικά Original language: Polish Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1970 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 LUK. Προσθήκη στο καλάθι (αφαίρεση)
	363.	Logic in algebraic form : three languages and theories / Craig William. από Craig, William, 1918- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 72. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Amsterdam : New York : North-Holland ; American Elsevier, 1974 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 CRA. Προσθήκη στο καλάθι (αφαίρεση)
	364.	Non-standard analysis / Robinson Abraham. από Robinson, Abraham, 1918-1974 [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Έκδοση: Rev. ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland, 1974 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 515 ROB. Προσθήκη στο καλάθι (αφαίρεση)
	365.	Proof theory / Gaisi Takeuti. από Takeuti, Gaisi, 1926- [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics ; 81. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.36 TAK. Προσθήκη στο καλάθι (αφαίρεση)
	366.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Elements of mathematical logic : (model theory) / G. Kreisel and J. L. Krivine. από Kreisel, Georg [συγγραφέας.] Krivine, J. L. (Jean Louis) [συγγραφέας.] Σειρά: Studies in logic and the foundations of mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Γλώσσα: Αγγλικά Original language: Ακαθόριστο Λεπτομέρειες δημοσίευσης: Amsterdam : North Holland, 1967 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 KRE. Προσθήκη στο καλάθι (αφαίρεση)
	367.	Ο Wittgenstein και το Tracatus / Michael Morris ; μετάφραση Ανδρέας Α. Γεωργαλλίδης ; επιμέλεια μετάφρασης Αγγέλα Α. Κυριάκου. από Morris, Michael (Michael Rowland) [συγγραφέας.] Γεωργαλλίδης, Ανδρέας Α [μεταφραστής.] Κυριακού, Αγγέλα Α [επιμελήτρια.] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Γλώσσα: Greek, Modern (1453- ) Original language: Αγγλικά Λεπτομέρειες δημοσίευσης: Αθήνα : Ίαμβος, 2019 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 192 MOR, ... Προσθήκη στο καλάθι (αφαίρεση)
	368.	Steiner minimal trees / by Dietmar Cieslik. από Cieslik, Dietmar [συγγραφέας.] Σειρά: Nonconvex optimization and its applications ; 23 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: ; Κοινό: Γενικό; Λεπτομέρειες δημοσίευσης: Dordrecht : Kluwer Academic, c1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.5 CIE. Προσθήκη στο καλάθι (αφαίρεση)
	369.	Tractatus logico-philosophicus / Ludwig Wittgenstein ; [εισαγωγή, μετάφραση, σχόλια και σύνταξη ευρετήριου Ανδρέας Α. Γεωργαλλίδης ; επιμέλεια μετάφρασης Ναταλία Κ. Κυριακίδη ; γλωσσική επιμέλεια Ανδρέας Π. Αντζουλής]. από Wittgenstein, Ludwig, 1889-1951 [συγγραφέας.] Γεωργαλλίδης, Ανδρέας Α [μεταφραστής,, συγγραφέας εισαγωγής.] Κυριακίδη, Ναταλία Κ [μεταφράστρια.] Αντζουλής, Ανδρέας Π [επιμελητής.] Έκδοση: 2η έκδ., αναθεωρημένη. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Greek, Modern (1453- ) Original language: German Λεπτομέρειες δημοσίευσης: Αθήνα : Ίαμβος, 2021 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 192 WIT, ... Προσθήκη στο καλάθι (αφαίρεση)
	370.	Εισαγωγή στη θεωρία υπολογισμού / Michael Sipser ; επιστημονική επιμέλεια Αριστείδης Θ. Παγουρτζής, Γεώργιος Φρ. Γεωργακόπουλος. από Sipser, Michael [συγγραφέας. ] Γεωργακόπουλος, Γεώργιος [επιμελητής. ] Παγουρτζής, Αριστείδης Θ [επιμελητής. ] Σειρά: Πανεπιστημιακή βιβλιοθήκη θετικών επιστημών (Πανεπιστημιακές Εκδόσεις Κρήτης). Επιστήμη υπολογιστών Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Κοινό: Γενικό; Λεπτομέρειες δημοσίευσης: Ηράκλειο : Πανεπιστημιακές Εκδόσεις Κρήτης, 2020 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.35 SIP, ... Προσθήκη στο καλάθι (αφαίρεση)
	371.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Οι αντιλήψεις των μαθητών της Γ' Γυμνασίου για την τυχαιότητα και την πιθανότητα μέσω των «δυνητικών κόσμων» τους / Ζήσιμος Μπραέσσας. από Μπραέσσας, Ζήσιμος [συγγραφέας] Πατρώνης, Αναστάσιος [επιβλέπων καθηγητής] Πανεπιστήμιο Πατρών Σχολή Θετικών Επιστημών Τμήμα Μαθηματικών Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό ; Κοινό: Ειδικευμένο; Σημείωση διατριβής: Διδακτορική διατριβή (Δ.Δ.)--Πανεπιστήμιο Πατρών, 2020. Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 519.2 ΜΠΡ. Προσθήκη στο καλάθι (αφαίρεση)
	372.	Τα θεμέλια των μαθηματικών / Ian Stewart and David Tall ; μετάφραση Θεοφάνης Γραμμένος ; επιστημονική επιμέλεια Απόστολος Γιαννόπουλος. από Stewart, Ian, 1945- [συγγραφέας.] Tall, David Orme [συγγραφέας.] Γραμμένος, Θεοφάνης Γ [μεταφραστής.] Γιαννόπουλος, Απόστολος [επιμελητής.] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό ; Κοινό: Γενικό; Γλώσσα: Greek, Modern (1453- ) Original language: Αγγλικά Λεπτομέρειες δημοσίευσης: Nicosia, Cyprus : Odysseus Publishing, c2020 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 STE, ... Προσθήκη στο καλάθι (αφαίρεση)
	373.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert W. Beth. από Beth, Evert Willem [συγγραφέας.] Σειρά: Synthese library Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό ; Κοινό: Γενικό; Λεπτομέρειες δημοσίευσης: Dordrecht : D. Reidel, c1962 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 BET. Προσθήκη στο καλάθι (αφαίρεση)

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας