[email protected] Θα απαντήσουμε εντός 24 ωρών

[email protected]

ACS 6.49 € DHL courier 9.99 € Speedex 5.99 € Σημείο ACS 6.49 € Elta 3.99 € Σημείο Elta 3.99 € Box Now 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Proof Theory

Takeuti

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετη βιβλιοδεσία

Κωδικός Libristo: 02569150

ΕΕκδοτικός οίκος Dover Publications Inc., Ιανουάριος 2013

Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1.... Πλήρης περιγραφή

Κωδικός Libristo: 02569150

56 b

22.19 €

Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 9-12 ημέρες

30 ημέρες για την επιστροφή των προϊόντων

Οι πελάτες αγόρασαν επίσης

Basic Proof Theory Anne S. Troelstra

/ Χαρτόδετη βιβλιοδεσία

65.98 €

Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1. First Order Predicate Calculus 2. Peano Arithmetic Part II. Second Order and Finite Order Systems 3. Second Order Systems and Simple Type Theory 4. Infinitary Logic Part III. Consistency Problems 5. Consistency Proofs 6. Some Applications of Consistency Proofs Postscript Appendix Index

Πληροφορίες για το βιβλίο

Πλήρες όνομα Proof Theory

Συγγραφέας Takeuti

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετη βιβλιοδεσία

Ημερομηνία έκδοσης 2013

Αριθμός σελίδων 384

EAN 9780486490731

ISBN 0486490734

Κωδικός Libristo 02569150

ΕΕκδοτικός οίκος Dover Publications Inc.

Βάρος 622

Διαστάσεις 152 x 229 x 26

Κατηγορία

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη