Model-Theoretic Logics
Language: en
Pages: 912
Authors: J. Barwise
Categories: Mathematics
Type: BOOK - Published: 2017-03-02 - Publisher: Cambridge University Press

GET EBOOK

This book brings together several directions of work in model theory between the late 1950s and early 1980s.
Perspectives on the History of Mathematical Logic
Language: en
Pages: 218
Authors: Thomas Drucker
Categories: Mathematics
Type: BOOK - Published: 2009-05-21 - Publisher: Springer Science & Business Media

GET EBOOK

This volume offers insights into the development of mathematical logic over the last century. Arising from a special session of the history of logic at an Ameri
Subsystems of Second Order Arithmetic
Language: en
Pages: 461
Authors: Stephen George Simpson
Categories: Mathematics
Type: BOOK - Published: 2009-05-29 - Publisher: Cambridge University Press

GET EBOOK

This volume examines appropriate axioms for mathematics to prove particular theorems in core areas.
Proofs and Computations
Language: en
Pages: 480
Authors: Helmut Schwichtenberg
Categories: Mathematics
Type: BOOK - Published: 2011-12-15 - Publisher: Cambridge University Press

GET EBOOK

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computabil
Perspectives in Mathematical Logic
Language: en
Pages:
Authors:
Categories:
Type: BOOK - Published: 1969 - Publisher:

GET EBOOK

"The Perspectives in Logic series publishes substantial, high-quality books whose central theme lies in any area or aspect of logic. Books that present new mate