A first journey through logic by Martin Hils and Francois Loeser
Hils, Martin
Loeser, Fancois
Mathematics
Logic symbolic and mathematical
Mathematical logic and foundation
Mathematical textbooks
511.3 HIL-F
Includes bibliographical references and index
AMS, Rhode Island :
©2019
©2019
Text
xi, 185 p. ;
eng
Student methemetical library vol.89