Authors:
Coverage of incompleteness of interest to philosophers concerned with its implications * Coverage of computational complexity and its connections to provability will interest computer scientists
Part of the book series: Perspectives in Mathematical Logic (PML)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
About this book
Authors and Affiliations
-
ASCR Praha Mathematical Institute, Praha 1, Czech Republic
Petr Hajek
Bibliographic Information
Book Title: Metamathematics of First-Order Arithmetic
Authors: Petr Hajek, Pavel Pudlak
Series Title: Perspectives in Mathematical Logic
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1993
Softcover ISBN: 978-3-540-63648-9Published: 17 March 1998
Series ISSN: 0172-6641
Edition Number: 1
Number of Pages: XIV, 460
Number of Illustrations: 1 b/w illustrations
Topics: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages