"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"--
Informations bibliographiques
janvier 2023, Anglais
University Presses
978-0-262-54484-9
Sommaire
Mots-clés
Contenu
"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"--