Proof theory and intuitionistic systems / Scarpellini Bruno.
Τύπος υλικού: ΚείμενοΣειρά: Lecture notes in mathematics (Springer-Verlag) ; 212.Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1971.Περιγραφή: vii, 290, [1] σ. ; 26 εκISBN:- 354005541X
- 038705541X
- 511.36 23
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [Not For Loan] | ΒΚΠ - Πατρα Πληροφοριακό Αναγνωστήριο | Π/Σ 511.36 SCA (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Δε δανείζεται | 025000043828 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Πληροφοριακό Αναγνωστήριο Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
Π/Σ 511.36 LUC Extensional Gödel functional interpretation : | Π/Σ 511.36 MET Metamathematical investigation of intuitionistic arithmetic and analysis / | Π/Σ 511.36 MET Metamathematical investigation of intuitionistic arithmetic and analysis / | Π/Σ 511.36 SCA Proof theory and intuitionistic systems / | Π/Σ 511.36 TAK Proof theory / | Π/Σ 511.4 CHE A course in approximation theory / | Π/Σ 511.4 DeV The approximation of continuous functions by positive linear operators / |
Περιλαμβάνει βιβλιογραφία.