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

Αποτελέσματα
	1.	Proofs and refutations the logic of mathematical discovery by Imre Lakatos; edited by John Worrall and Elie Zahar από Lakatos, Imre Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge New York Cambridge University Press 1981 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φυσικό (1)Ταξιθετικός αριθμός: 511.3 L. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Το άπειρο και ο νους Rudy Rucker; απόδοση στα ελληνικά-επιστημονική επιμέλεια Κώστας Χατζηκυριάκου από Rucker, Rudy v. B. ((Rudy von Bitter)), 1946- Χατζηκυριάκου, Κώστας [trl] Σειρά: Επιστήμη και ανθρώπινος πολιτισμός Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Greek, Modern (1453- ) Original language: Αγγλικά Λεπτομέρειες δημοσίευσης: Ηράκλειο Πανεπιστημιακές Εκδόσεις Κρήτης 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φιλοσοφίας (3)Ταξιθετικός αριθμός: 510 R, ... Φυσικό (1)Ταξιθετικός αριθμός: 510.9 R. Προσθήκη στο καλάθι (αφαίρεση)
	3.	The principles of mathematics revisited Jaakko Hintikka από Hintikka, Jaakko, 1929- Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φυσικό (1)Ταξιθετικός αριθμός: 510.1 H. Προσθήκη στο καλάθι (αφαίρεση)
	4.	The divine proportion a study in mathematical beauty by H. E. Huntley από Huntley, H. E Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Dover Publications 1970 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φυσικό (1)Ταξιθετικός αριθμός: 511.3 H. Προσθήκη στο καλάθι (αφαίρεση)
	5.	Parameterized complexity R. G. Downey and M. R. Fellows από Downey, R. G Fellows, M. R Σειρά: Monographs in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Springer 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 D, ... Προσθήκη στο καλάθι (αφαίρεση)
	6.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Tractatus logico-philosophicus Ludwig Wittgenstein; μετάφραση Θανάσης Κιτσόπουλος ; παρουσίαση Ζήσιμος Λορεντζάτος ; εισαγωγή Bertrand Russell από Wittgenstein, Ludwig, 1889-1951 Κιτσόπουλος, Θανάσης [trl] Λορεντζάτος, Ζήσιμος, 1915-2004 [aui] Russell, Bertrand, 1872-1970 [aui] Σειρά: Φιλοσοφία - Πηγές Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Greek, Modern (1453- ) Original language: German Λεπτομέρειες δημοσίευσης: Αθήνα Παπαζήση 1978 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Αρχιτεκτονική (1)Ταξιθετικός αριθμός: 190.090 34 WIT. ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 160 W, ... Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: Φιλοσοφίας: Not for loan (1)Ταξιθετικός αριθμός: 190.090 34 W. Προσθήκη στο καλάθι (αφαίρεση)
	7.	A first course in fuzzy logic Hung T. Nguyen, Elbert A. Walker από Nguyen, Hung T, 1944- Walker, E. A. (Elbert), 1930- Έκδοση: 2nd edition Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boca Raton CRC Press 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 N. Προσθήκη στο καλάθι (αφαίρεση)
	8.	Cut elimination in categories Kosta Dosen από Dosen, Kosta Σειρά: Trends in logic ; 6 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht Kluwer Academic 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 D. Προσθήκη στο καλάθι (αφαίρεση)
	9.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Lattices over orders / Klaus W. Roggenkamp, Verena Huber-Dyson. από Roggenkamp, Klaus W [συγγραφέας.] Huber-Dyson, Verena [συγγραφέας.] Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 115, 142. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1970 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.33 ROG, ... Προσθήκη στο καλάθι (αφαίρεση)
	10.	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 . Προσθήκη στο καλάθι (αφαίρεση)
	11.	Models of sharing graphs a categorical semantics of let and letrec Masahito Hasegawa από Hasegawa, Masahito Σειρά: Distinguished dissertations Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Springer 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 H. Προσθήκη στο καλάθι (αφαίρεση)
	12.	Introduction to circuit complexity : a uniform approach / Heribert Vollmer. από Vollmer, Heribert [συγγραφέας.] Σειρά: Texts in theoretical computer science (Springer) Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.324 VOL, ... Προσθήκη στο καλάθι (αφαίρεση)
	13.	Unconventional models of computation C. S. Calude, J. Casti, M. J. Dinneen (editors) από Calude, C. S [edt] Casti, J [edt] Dinneen, M. J [edt] Σειρά: Springer series in discrete mathematics and theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Singapore New York Springer 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 C. Προσθήκη στο καλάθι (αφαίρεση)
	14.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Set theory and its logic / Willard Van Orman Quine. από Quine, W. V. (Willard Van Orman), 1908-2000 [συγγραφέας.] Έκδοση: Rev. ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Cambridge : Belknap Press of Harvard University Press, 1969 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 QUI. Προσθήκη στο καλάθι (αφαίρεση)
	15.	Descriptive complexity / Neil Immerman. από Immerman, Neil, 1953- [συγγραφέας] Σειρά: Graduate texts in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: New York : Springer, c1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (4)Ταξιθετικός αριθμός: 511.3 IMM, ... Προσθήκη στο καλάθι (αφαίρεση)
	16.	An introduction to fuzzy logic for practical applications Kazuo Tanaka; translated by Tak Niimura από Tanaka, Kazuo Niimura, Tak [trl] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Original language: Ιαπωνική Λεπτομέρειες δημοσίευσης: New York Springer 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 T, ... Προσθήκη στο καλάθι (αφαίρεση)
	17.	Nonmonotonic logics basic concepts, results, and techniques Karl Schlechta από Schlechta, Karl Σειρά: Lecture notes in computer science ; 1187 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 S. Προσθήκη στο καλάθι (αφαίρεση)
	18.	Admissible sets and structures an approach to definability theory K. Jon Barwise από Barwise, Jon Σειρά: Perspectives in mathematical logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin New York Springer-Verlag 1975 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 B. Προσθήκη στο καλάθι (αφαίρεση)
	19.	Constructibility Keith J. Devlin από Devlin, Keith J Σειρά: Perspectives in mathematical logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin New York Springer-Verlag 1984 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 D. Προσθήκη στο καλάθι (αφαίρεση)
	20.	Recursion-theoretic hierarchies / Peter G. Hinman. από Hinman, Peter G [συγγραφέας.] Σειρά: Perspectives in mathematical logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1978 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 H, ... Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

Συλλογές

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

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

Τοποθεσίες

Σειρά

Θέματα

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