A01=Haim Judah
A01=Martin Goldstern
Author_Haim Judah
Author_Martin Goldstern
Bounded Formula
Category=PBCH
Closed Formula
Constant Symbol
Countable Model
Efin Ition
Elementarily Embedded
Em Ark
Enumerable Sets
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Equality Axioms
Finite Subset
GA?del theorem
Hilbert programme
Initial Segment
Left Parentheses
limitations of formal reasoning
logical paradoxes
Model AA
Nonlogical Axioms
Nonstandard Model
Order Language
PA
philosophical mathematics
Prenex Normal Form
Primitive Recursive
Primitive Recursive Functions
Recursive Function
recursive functions
semantic completeness
Sentential Formula
True Iff
Truth Assignment
Xam Ple
Product details
- ISBN 9780367401696
- Weight: 453g
- Dimensions: 156 x 234mm
- Publication Date: 25 Sep 2019
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
This introduction to mathematical logic takes Gödel's incompleteness theorem as a starting point. It goes beyond a standard text book and should interest everyone from mathematicians to philosophers and general readers who wish to understand the foundations and limitations of modern mathematics.
Goldstern, Martin; Judah, Haim
