Language, Proof, and Logic: Second Edition - Tapa blanda

Barker-Plummer, David; Barwise, Jon; Etchemendy, John

 
9781575866321: Language, Proof, and Logic: Second Edition
Tapa blanda
ISBN 10: 1575866323 ISBN 13: 9781575866321
Editorial: Centre for the Study of Language & Information, 2011

Sinopsis

This textbook/software package 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. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof and Logic" represents a major expansion and revision of the original package and includes applications for mobile devices, additional exercises, a dedicated website, and increased software compatibility and support.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Dave Barker-Plummer is a senior research scientist at Stanford University's Center for the Study of Language and Information. Jon Barwise (1942-2000) served on the faculties of Yale University, the University of Wisconsin, Stanford University, and Indiana University. John Etchemendy is currently provost and professor of philosophy and symbolic systems at Stanford University.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Centre for the Study of Language & Information
Año de publicación
2011
Idioma
Inglés
ISBN 10 
1575866323
ISBN 13 
9781575866321
Encuadernación
Tapa blanda
Número de edición
2
Número de páginas
650
Contacto del fabricante
no disponible
Persona responsable
no disponible