"An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"--
Bibliografische Angaben
Januar 2023, Englisch
University Presses
978-0-262-54484-9
Inhaltsverzeichnis
Schlagworte
Inhalt
"An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"--