Αποτελέσματα αναζήτησης για 'ccl=pl:"New York"' › Βιβλιοθήκη & Κέντρο Πληροφόρησης, Πανεπιστήμιο Πατρών κατάλογος

Αποτελέσματα
	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.	The divine proportion a study in mathematical beauty by H. E. Huntley από Huntley, H. E Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Dover Publications 1970 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φυσικό (1)Ταξιθετικός αριθμός: 511.3 H. Προσθήκη στο καλάθι (αφαίρεση)
	3.	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, ... Προσθήκη στο καλάθι (αφαίρεση)
	4.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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, ... Προσθήκη στο καλάθι (αφαίρεση)
	5.	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. Προσθήκη στο καλάθι (αφαίρεση)
	6.	Descriptive complexity / Neil Immerman. από Immerman, Neil, 1953- [συγγραφέας] Σειρά: Graduate texts in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: New York : Springer, c1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (4)Ταξιθετικός αριθμός: 511.3 IMM, ... Προσθήκη στο καλάθι (αφαίρεση)
	7.	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, ... Προσθήκη στο καλάθι (αφαίρεση)
	8.	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. Προσθήκη στο καλάθι (αφαίρεση)
	9.	Constructibility Keith J. Devlin από Devlin, Keith J Σειρά: Perspectives in mathematical logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin New York Springer-Verlag 1984 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 D. Προσθήκη στο καλάθι (αφαίρεση)
	10.	Recursion-theoretic hierarchies / Peter G. Hinman. από Hinman, Peter G [συγγραφέας.] Σειρά: Perspectives in mathematical logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1978 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 H, ... Προσθήκη στο καλάθι (αφαίρεση)
	11.	The Wb3s algebra modules, semi-infinite cohomology, and BV algebras Peter Bouwknegt, Jim McCarthy, Krzysztof Pilch από Bouwknegt, P McCarthy, Jim Pilch, Krzysztof Σειρά: Lecture notes in physics ; 42 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin New York Springer 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512.55 BOU. Προσθήκη στο καλάθι (αφαίρεση)
	12.	Model-theoretic logics edited by J. Barwise and S. Feferman από Barwise, Jon [edt] Feferman, S [edt] Σειρά: Perspectives in mathematical logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Springer 1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.8 B. Προσθήκη στο καλάθι (αφαίρεση)
	13.	The logic of partial information Areski Nait Abdallah από Nait Abdallah, Areski, 1950- Σειρά: Monographs in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin New York Springer 1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 N. Προσθήκη στο καλάθι (αφαίρεση)
	14.	Mathematical logic Stephen Cole Kleene από Kleene, Stephen Cole, 1909-1994 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York John Wiley & Sons, inc. 1967 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 KLE. Προσθήκη στο καλάθι (αφαίρεση)
	15.	Essentials of symbolic logic R. L. Simpson από Simpson, Robert L Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: london New York Routledge 1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 SIM. Προσθήκη στο καλάθι (αφαίρεση)
	16.	Recursion theory for metamathematics Raymond M. Smullyan από Smullyan, Raymond M Σειρά: Oxford logic guides ; 22 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Oxford University Press 1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.35 SMU. Προσθήκη στο καλάθι (αφαίρεση)
	17.	Introduction to mathematical logic Elliott Mendelson από Mendelson, Elliott Σειρά: The University series in undergraduate mathematics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York D. Van Nostrand Company 1964 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 MEN. Προσθήκη στο καλάθι (αφαίρεση)
	18.	Continuous lattices and their applications edited by Rudolf-E. Hoffmann and Karl H. Hofmann από Hoffmann, Rudolf E Hofmann, Karl H Σειρά: Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Marcel Dekker, Inc. 1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.33 HOF. Προσθήκη στο καλάθι (αφαίρεση)
	19.	Mathematical logic a course with exercises Rene Cori and Daniel Lascar; translated by Daniel Lascar από Cori, Rene Pelletier, Donald H Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Oxford university press Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.3 COR, ... Μη διαθέσιμο: ΒΚΠ - Πατρα: Δανεισμένο (1). Προσθήκη στο καλάθι (αφαίρεση)
	20.	Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas. από Ebbinghaus, Heinz-Dieter, 1939- [συγγραφέας.] Flum, Jorg [συγγραφέας.] Thomas, Wolfgang, 1947- [συγγραφέας.] Σειρά: Undergraduate texts in mathematics (Springer) Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Γλώσσα: Αγγλικά Original language: German Λεπτομέρειες δημοσίευσης: New York : Springer-Verlag, c1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 EBB. Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

Συλλογές

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

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

Τοποθεσίες

Σειρά

Θέματα

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