Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume Ii: Foundations Of Mathematics
Regular price
€77.99
14 days return policy
Shipping & Delivery
A01=Christopher Porter
A01=Douglas Cenzer
A01=Jean Larson
A01=Jindrich Zapletal
Age Group_Uncategorized
Age Group_Uncategorized
Algorithmic Randomness
Author_Christopher Porter
Author_Douglas Cenzer
Author_Jean Larson
Author_Jindrich Zapletal
automatic-update
Boolean Algebra
Categoricity
Category1=Non-Fiction
Category=PBCH
Compactness
Completeness
Computability
COP=Singapore
Decidability
Delivery_Delivery within 10-20 working days
Elementary Equivalence
eq_isMigrated=2
eq_nobargain
Finite State Automaton
Halting Problem
Induction
Isomorphism
Kolmogorov Complexity
Language_English
Mathematical Logic
Model Theory
Non-Euclidean Geometry
Non-standard Analysis
PA=Available
Peano Arithmetic
Price_€50 to €100
Proof Theory
PS=Active
Quantifier
Quantifier Elimination
Recursion
softlaunch
Soundness
Tautology
Turing Machine
Ultraproduct
Product details
- ISBN 9789811243844
- Publication Date: 01 Mar 2022
- Publisher: World Scientific Publishing Co Pte Ltd
- Publication City/Country: SG
- Product Form: Hardback
- Language: English
Secure
checkout
Fast Shipping
Easy returns
This book provides an introduction to mathematical logic and the foundations of mathematics. It will help prepare students for advanced study in set theory and mathematical logic as well as other areas of mathematics, such as analysis, topology, and algebra. The presentation of finite state and Turing machines leads to the Halting Problem and Gödel's Incompleteness Theorem, which have broad academic interest, particularly in computer science and philosophy.
