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

Ταξινόμηση
Αποτελέσματα
1.
Cut elimination in categories Kosta Dosen από
  • Dosen, Kosta
Σειρά: Trends in logic ; 6
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Kluwer Academic 1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 D.
2.
Substructural logics a primer Francesco Paoli από
  • Paoli, Francesco
Σειρά: Trends in logic : studia logica library ; v. 13
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Kluwer Academic Publishers 2002
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 160 PAO.
3.
Anaphora and Type Logical Grammar [electronic resource] by Gerhard JΓ„ger από
  • JΓ„ger, Gerhard
Σειρά: Trends in Logic, Studia Logica Library ; 24
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
4.
Philosophy of Syntax [electronic resource] Foundational Topics by Mieszko Talasiewicz από
  • Talasiewicz, Mieszko
  • SpringerLink (Online service)
Σειρά: Trends in Logic ; 29
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science+Business Media B.V. 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
5.
Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] by Andrzej Indrzejczak από
  • Indrzejczak, Andrzej
  • SpringerLink (Online service)
Σειρά: Trends in Logic ; 30
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science+Business Media B.V. 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
6.
Metamathematics of fuzzy logic Petr Hajek από
  • Hajek, Petr
Σειρά: Trends in logic ; 4
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Dordrecht Boston Kluwer 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 H.
7.
Logic, action, and cognition : essays in philosophical logic / edited by Eva Ejerhed and Sten Lindström. από
  • Umea Colloquium on Dynamic Approaches in Logic, Languages, and Information (1993 : Umea University, Sweden)
  • Ejerhed, Eva, 1941- [επιμελήτρια]
  • Lindström, Sten, 1945- [επιμελητής]
Σειρά: Trends in logic : studia logica library ; 2.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό ; Κοινό: Ειδικευμένο;
Λεπτομέρειες δημοσίευσης: Dordrecht ; Boston : Kluwer Academic, 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φιλοσοφίας (1)Ταξιθετικός αριθμός: 160 UME.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud