An invitation to mathematical logic

Publisher’s description: In addition to covering the essentials, the author’s intention in writing this text is to entice the reader to further study mathematical logic. There is no current “standard text: for a first graduate course in mathematical logic and this book will fill that gap. While ther...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Marker, David (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham, Switzerland Springer 2024
Schriftenreihe:	Graduate texts in mathematics 301
Schlagworte:	Lehrbuch > Mathematische Logik > Modelltheorie > Quantorenelimination > Reelle Zahl > Berechnungstheorie > Unentscheidbarkeit > Gödelscher Unvollständigkeitssatz
Online Zugang:	Inhaltsverzeichnis zbMATH
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!