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

Ταξινόμηση
Αποτελέσματα
1.
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.
2.
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.
3.
The liar an essay on truth and circularity Jon Barwise and John Etchemendy από
  • Barwise, Jon
  • Etchemendy, John
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Oxford University Press 1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φιλοσοφίας (2)Ταξιθετικός αριθμός: 160 Β, ...
4.
Language, proof, and logic Jon Barwise & John Etchemendy in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu από
  • Barwise, Jon
  • Barker-Plummer, Dave
  • Allwein, Gerard, 1956-
  • Liu, Albert, 1966-
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Stanford, Calif. CSLI Publications 2003
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 160 BAR, ...
5.
Handbook of mathematical logic / edited by Jon Barwise. από
  • Barwise, Jon [επιμελητής]
Σειρά: Studies in logic and the foundations of mathematics ; 90.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Amsterdam ; Netherlands : North-Holland ; Elsevier, 1977, [reprint 1978]
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: Π/Σ 511.3 HAN. Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.3 HAN, ...
6.
Information flow the logic of distributed systems Jon Barwise, Jerry Seligman από
  • Barwise, Jon
  • Seligman, Jerry
Σειρά: Cambridge tracts in theoretical computer science ; 44
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.758 B, ...
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud