Algebra of proofs / M. E. Szabo.
Τύπος υλικού: ΚείμενοΣειρά: Studies in logic and the foundations of mathematicsΛεπτομέρειες δημοσίευσης: Amsterdam ; North-Holland, 1978.Περιγραφή: xii, 297 σ. ; 24 εκISBN:- 0720422868
- 511.360 285 63 23
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Book [Not For Loan] | ΒΚΠ - Πατρα Πληροφοριακό Αναγνωστήριο | Π/Σ 511.360 285 63 SZA (Περιήγηση στο ράφι(Άνοιγμα παρακάτω)) | 1 | Δε δανείζεται | 025000251421 |
Browsing ΒΚΠ - Πατρα shelves, Shelving location: Πληροφοριακό Αναγνωστήριο Κλείσιμο περιήγησης ραφιού(Απόκρυψη περιήγησης ραφιών)
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη | Η εικόνα εξωφύλλου δεν είναι διαθέσιμη | Η εικόνα εξωφύλλου δεν είναι διαθέσιμη | Η εικόνα εξωφύλλου δεν είναι διαθέσιμη | |||||
Π/Σ 511.352 HER Enumerability, decidability, computability : | Π/Σ 511.352 SMU Theory of formal systems / | Π/Σ 511.352 ΜΟΣ Elementary induction on abstract structures / | Π/Σ 511.360 285 63 SZA Algebra of proofs / | Π/Σ 511.360 285 63 TRO Principles of intuitionism / | Π/Σ 511.360 285 63 TRO Principles of intuitionism / | Π/Σ 511.36 ISI ISILC Proof Theory Symposion : |
Περιλαμβάνει βιβλιογραφία.