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

Ταξινόμηση
Αποτελέσματα
1.
Intensional logic and the metaphysics of intentionality / Edward N. Zalta. από
  • Zalta, Edward N, 1952- [συγγραφέας.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Ειδικευμένο;
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Massachussets : The MIT Press, 1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φιλοσοφίας (1)Ταξιθετικός αριθμός: 160 ZAL.
2.
Toward a logic of meanings Jean Piaget, Rolando Garcia; preface by Barbel Inhelder ; edited by Philip M. Davidson & Jack Easley από
  • Piaget, Jean, 1896-1980
  • Inhelder, Bärbel [aui]
  • Davidson, Philip M [edt]
  • Easley, Jack [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Hillsdale, N.J. Lawrence Erlbaum 1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Επιστημών της Εκπαίδευσης και Κοινωνικής Εργασίας (2)Ταξιθετικός αριθμός: 153.43 PIA, ...
3.
Topics in philoshophical logic Nicholas Rescher από
  • Rescher, Nicholas
Σειρά: Synthese library
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht D. Reidel 1968
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 RES.
4.
Self-reference and modal logic / C. Smoryński. από
  • Smorynski, C [συγγραφέας.]
Σειρά: Universitext (Springer)
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer-Verlag, 1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 SMO.
5.
First-order logic and automated theorem proving / Melvin Fitting. από
  • Fitting, Melvin, 1942-
Σειρά: Graduate texts in computer science
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York : Springer, c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.3 F, ... Μηχανικών Η/Υ και Πληροφορικής (3)Ταξιθετικός αριθμός: 511.3 FIT, ...
6.
Modal logic an introduction Brian F. Chellas από
  • Chellas, Brian F
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 C, ...
7.
Εισαγωγή στη συμβολική λογική Φίλιππος Β. Καργόπουλος από
  • Καργόπουλος, Φίλιππος Β [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Greek, Modern (1453- )
Λεπτομέρειες δημοσίευσης: Θεσσαλονίκη Βάνιας 2008
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (9)Ταξιθετικός αριθμός: 160 ΚΑΡ, ... Φιλοσοφίας (1)Ταξιθετικός αριθμός: 160 ΚΑΡ.
8.
Extensional constructs in intensional type theory Martin Hofmann από
  • Hofmann, Martin
Σειρά: CPHC/BCS distinguished dissertations
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 H.
9.
Papers in philosophical logic David Lewis από
  • Lewis, David K. (David Kellogg), 1941-2001 [συγγραφέας.]
Σειρά: Cambridge studies in philosophy
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 160 L.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud