Mathematical logic and computation
Auteur :
Avigad, Jeremy
Éditeur :
Cambridge University Press
ISBN :
9781108478755
Date de publication :
24 nov. 2022
Dimensions :
26,3 x 18,2 x 2,8 cm
Poids :
1180 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This book presents mathematical logic from the syntactic point of view, with an emphasis on aspects that are fundamental to computer science. It is an excellent introduction for graduate students and advanced undergraduates interested in logic in mathematics, computer science, and philosophy, and an invaluable reference for professional logicians.