Language, Proof and Logic, 2nd Edition
Barker-Plummer, David; Barwise, Jon; Etchemendy, John
ISBN 10: 1575866323 ISBN 13: 9781575866321
Editorial: Center for the Study of Language and Inf (edition 2nd), 2011
Usado
Paperback
Librería:
BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 2 de febrero de 2016
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way. N° de ref. del artículo 1575866323-7-1-13_115
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.
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.
Detalles bibliográficos
Título: Language, Proof and Logic, 2nd Edition
Editorial: Center for the Study of Language and Inf (edition 2nd)
Año de publicación: 2011
Encuadernación: Paperback
Condición: Fair
Edición: 2nd.