An invitation to mathematical logic
Marker, David
An invitation to mathematical logic by David Marker - Switzerland : Springer, ©2024 - xviii, 357 p. ; 24 cm. - Graduate texts in mathematics .
Includes bibliographical references and index
Part 1. Truth and proof Part 2. Elements of model theory Part 3. Computability Part 4. Arithmetic and Incompleteness
9783031553677
Symbolic and mathematical logic
Abstract algebra
Problem solving
511.3 / MAR-I
An invitation to mathematical logic by David Marker - Switzerland : Springer, ©2024 - xviii, 357 p. ; 24 cm. - Graduate texts in mathematics .
Includes bibliographical references and index
Part 1. Truth and proof Part 2. Elements of model theory Part 3. Computability Part 4. Arithmetic and Incompleteness
9783031553677
Symbolic and mathematical logic
Abstract algebra
Problem solving
511.3 / MAR-I