Language, proof, and logic: second edition
Auteur :
Barker-Plummer, David / Barwise, Jon / Etchemendy, John
Éditeur :
Centre for the Study of Language & Information
ISBN :
9781575866321
Date de publication :
15 oct. 2011
Dimensions :
2,4 x 2,0 x 0,3 cm
Poids :
1134 g
Langue :
Anglais
Pays d'origine :
USA
A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.