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

Handbook of Proof Theory

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Σκληρόδετη βιβλιοδεσία
Βιβλίο Handbook of Proof Theory S. R. Buss
Κωδικός Libristo: 04612735
ΕΕκδοτικός οίκος Elsevier Science, Ιούλιος 1998
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mat... Πλήρης περιγραφή
? points 576 b
229.73
Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 15-20 ημέρες

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


Μπορεί να σας ενδιαφέρει


TOP
Court of Thorns and Roses Sarah J. Maas / Χαρτόδετη βιβλιοδεσία
common.buy 8.47
TOP ΠΡΟΕΤΟΙΜΑΖΟΥΜΕ
Mushoku Tensei: Jobless Reincarnation Vol. 7 Rifujin Na Magonote / Χαρτόδετη βιβλιοδεσία
common.buy 13.41
TOP
Automate The Boring Stuff With Python, 2nd Edition Al Sweigart / Χαρτόδετη βιβλιοδεσία
common.buy 30.97
TOP
Your Brain at Work, Revised and Updated David Rock / Σκληρόδετη βιβλιοδεσία
common.buy 23.10
TOP
The Green Witch Oracle Cards Cheralyn Darcey / Κάρτες
common.buy 21.28
Morpho: Clothing Folds and Creases Michel Lauricella / Χαρτόδετη βιβλιοδεσία
common.buy 15.43
LEGO Amazing Vehicles DK / Σκληρόδετη βιβλιοδεσία
common.buy 15.93
Near Sally Lloyd-Jones / Leporelo
common.buy 9.47
Moleskine Extra Large Plain Adobe Paper Tablet / Χαρτόδετη βιβλιοδεσία
common.buy 29.05
Raphael's Medical Astrology David Raphael / Σκληρόδετη βιβλιοδεσία
common.buy 39.54
Iran-Iraq War E.R. Hooton / Χαρτόδετη βιβλιοδεσία
common.buy 22.99
Cut and Glue Activity Book Busy Hands Books / Χαρτόδετη βιβλιοδεσία
common.buy 10.69
Best Small Penis Sex Techniques: Call-girls' Guide to Amazing Sex Call-Girls Anonymous / Χαρτόδετη βιβλιοδεσία
common.buy 16.54
Constructivism in Mathematics Troelstra / Χαρτόδετη βιβλιοδεσία
common.buy 64.36
Essential Concepts in Clinical Research Kenneth Schulz / Χαρτόδετη βιβλιοδεσία
common.buy 66.68
Just One Goal! Michael Martchenko / Χαρτόδετη βιβλιοδεσία
common.buy 8.77

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.

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

Πλήρες όνομα Handbook of Proof Theory
Συγγραφέας S. R. Buss
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Σκληρόδετη βιβλιοδεσία
Ημερομηνία έκδοσης 1998
Αριθμός σελίδων 810
EAN 9780444898401
ISBN 0444898409
Κωδικός Libristo 04612735
ΕΕκδοτικός οίκος Elsevier Science
Βάρος 1410
Διαστάσεις 156 x 234 x 43
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo