Free delivery for purchases over 59.99 €
Slovak post 4.49 €
SPS courier 4.99 €
GLS courier 3.99 €
GLS point 2.99 €
Packeta courier 4.99 €
Packeta point 2.99 €
SPS Parcel Shop 2.99 €
How to shop
Help
Delivery
Slovak post 4.49 €
SPS courier 4.99 €
GLS courier 3.99 €
GLS point 2.99 €
Packeta courier 4.99 €
Packeta point 2.99 €
SPS Parcel Shop 2.99 €
Free delivery for purchases over 59.99 €
Shopping guide
We’re here for you!
02/210 210 99
My account
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
▸
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
?
52 b
52 b
20.92
€
In stock at our supplier
Shipping in 9-12 days
30-day return policy
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
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
21.02
€