Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
DPD courier 3.99 €
DPD point 2.99 €
Shopping guide
My account
▸
Empty :-(
0
Proof Theory
Language
English
English
Book
Paperback
Preface
Preface to the Second Edition
Contents
Introduction
Part I. First Order Systems
1....
Full description
Libristo code: 02569150
?
50 b
50 b
20.39
€
VAT included
50 % chance
We search the world
When will I receive my book?
Delivery to Austria
Delivery to Austria
Up to 30 days for returns
Customers also purchased
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
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Proof Theory
Author
Takeuti
Language
English
English
Binding
Book - Paperback
Date of issue
2013
Number of pages
384
EAN
9780486490731
ISBN
0486490734
Libristo code
02569150
Publishers
Dover Publications Inc.
Weight
622
Dimensions
152 x 229 x 26
Categories
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
10.39
€
/
Paperback
27.29
€
Book advisor Libroamiko
By using this chat, you are communicating with generative artificial intelligence. By using it, you also agree to the processing of personal data.
Hi! I'm Libroamiko, your book advisor.
How can I help you?
Hi, I'm Libroamiko, can I help?