Εικόνα εξωφύλλου από Amazon
Εξώφυλλο από Amazon.com
Κανονική προβολή Προβολή MARC Προβολή ISBD

Proof theory / Gaisi Takeuti.

Κατά: Τύπος υλικού: ΚείμενοΚείμενοΣειρά: Studies in logic and the foundations of mathematics ; 81.Λεπτομέρειες δημοσίευσης: Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.Περιγραφή: vii, 372 σ. ; 24 εκISBN:
  • 0444104925
Θέμα(τα): Ταξινόμηση DDC:
  • 511.36 23
Αντίτυπα
Τύπος τεκμηρίου Τρέχουσα βιβλιοθήκη Ταξιθετικός αριθμός Αριθμός αντιτύπου Κατάσταση Ημερομηνία λήξης Ραβδοκώδικας
Book [Not For Loan] Book [Not For Loan] ΒΚΠ - Πατρα Πληροφοριακό Αναγνωστήριο Π/Σ 511.36 TAK (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) 1 Δε δανείζεται 025000038729

Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968.

Περιλαμβάνει ευρετήριο.

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud