Language, Proof and Logic, 2nd Edition

3,55 valoración promedio
( 116 valoraciones por Goodreads )
 
9781575866321: Language, Proof and Logic, 2nd Edition

Language Proof and Logic is available as a physical book with the software included on CD and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at ggweb.stanford.edu.

The textbook/software package covers first-order language in a method appropriate for first and second courses in logic. An on-line grading services instantly grades solutions to hundred of computer exercises. It is designed to be used by philosophy instructors teaching a logic course to undergraduates in philosophy, computer science, mathematics, and linguistics.

Introductory material is presented in a systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is 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 software package includes four programs:

Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics;

Fitch, a natural deduction proof environment for giving and checking first-order proofs;

Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);

Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.

Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu.

The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.

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

About the Author:

Dave Barker-Plummer is a senior research scientist with the Openproof Project at the Center for the Study of Language and Information (CSLI).

Jon Barwise (1942–2000) was professor of philosophy, mathematics, and computer science at Indiana University and one of the founding members of the Center for the Study of Language and Information (CSLI).  

John Etchemendy is professor of philosophy and symbolic systems at Stanford University and a former director of the Center for the Study of Language and Information (CSLI). 

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

Los mejores resultados en AbeBooks

1.

Barker-Plummer, David
Editorial: University of Chicago Press
ISBN 10: 1575866323 ISBN 13: 9781575866321
Nuevos Cantidad: 1
Librería
TextbookRush
(Grandview Heights, OH, Estados Unidos de America)
Valoración
[?]

Descripción University of Chicago Press. Estado de conservación: Brand New. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy. Nº de ref. de la librería 43918138

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 16,73
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,39
A Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Barker-Plummer, David; Barwise, Jon; Etchemendy, John
Editorial: Center for the Study of Language and Inf
ISBN 10: 1575866323 ISBN 13: 9781575866321
Nuevos PAPERBACK Cantidad: 4
Librería
Recycle-A-Textbook
(Lexington, KY, Estados Unidos de America)
Valoración
[?]

Descripción Center for the Study of Language and Inf. PAPERBACK. Estado de conservación: New. 1575866323 SHRINK WRAPPED! - Brand New! Fast Shipping! Excellent Customer Service!. Nº de ref. de la librería Z1575866323ZN

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 23,09
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,82
A Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Barker-Plummer, David, Barwise, Jon, Etc
Editorial: Center for the Study of Langua (2011)
ISBN 10: 1575866323 ISBN 13: 9781575866321
Nuevos Paperback Cantidad: 2
Librería
Save With Sam
(North Miami, FL, Estados Unidos de America)
Valoración
[?]

Descripción Center for the Study of Langua, 2011. Paperback. Estado de conservación: New. Brand New!. Nº de ref. de la librería VIB1575866323

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 51,05
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,55
A Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Barker-Plummer, David, Barwise, Jon, Etchemendy, John
Editorial: Center for the Study of Language and Inf (2011)
ISBN 10: 1575866323 ISBN 13: 9781575866321
Nuevos Tapa blanda Cantidad: > 20
Librería
Valoración
[?]

Descripción Center for the Study of Language and Inf, 2011. Estado de conservación: New. 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. Num Pages: 650 pages, Illustrations. BIC Classification: CFA; HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 203 x 44. Weight in Grams: 1298. . 2011. 2nd. Paperback. . . . . . Nº de ref. de la librería V9781575866321

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 61,97
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Irlanda a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

David Barker-plummer, Jon Barwise, John Etchemendy
Editorial: University of Chicago Press 2011-10-07 (2011)
ISBN 10: 1575866323 ISBN 13: 9781575866321
Nuevos Cantidad: 5
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción University of Chicago Press 2011-10-07, 2011. Estado de conservación: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Nº de ref. de la librería NU-GRD-05305542

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 60,38
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,40
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

6.

David Barker-Plummer, Jon Barwise, John Etchemendy
Editorial: Center for the Study of Language and Inf 2011-10-07, Stanford, Calif. (2011)
ISBN 10: 1575866323 ISBN 13: 9781575866321
Nuevos Cantidad: 5
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción Center for the Study of Language and Inf 2011-10-07, Stanford, Calif., 2011. multimedia item. Estado de conservación: New. Nº de ref. de la librería 9781575866321

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 57,42
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,83
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Barker-Plummer, Dave
Editorial: University of Chicago Press (2011)
ISBN 10: 1575866323 ISBN 13: 9781575866321
Nuevos Cantidad: 4
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción University of Chicago Press, 2011. PAP. Estado de conservación: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Nº de ref. de la librería BB-9781575866321

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 54,83
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,24
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Dave Barker-Plummer, Jon Barwise, John Etchemendy
Editorial: Centre for the Study of Language Information, United States (2011)
ISBN 10: 1575866323 ISBN 13: 9781575866321
Nuevos Cantidad: 1
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción Centre for the Study of Language Information, United States, 2011. Mixed media product. Estado de conservación: New. 2nd Revised edition. Language: English . Brand New Book. 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. Nº de ref. de la librería AAU9781575866321

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 65,25
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Barker-Plummer, David
Editorial: Center for the Study of Language and Information
ISBN 10: 1575866323 ISBN 13: 9781575866321
Nuevos Tapa blanda Cantidad: 1
Librería
C. Clayton Thompson - Bookseller
(BOONE, NC, Estados Unidos de America)
Valoración
[?]

Descripción Center for the Study of Language and Information. Estado de conservación: BRAND NEW. BRAND NEW Softcover w/CD A Brand New Quality Book from a Full-Time Veteran Owned Bookshop in business since 1992!. Nº de ref. de la librería 2618528

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 65,59
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Barker-Plummer, David, Barwise, Jon, Etchemendy, John
Editorial: Center for the Study of Language and Inf
ISBN 10: 1575866323 ISBN 13: 9781575866321
Nuevos Tapa blanda Cantidad: > 20
Librería
Kennys Bookstore
(Olney, MD, Estados Unidos de America)
Valoración
[?]

Descripción Center for the Study of Language and Inf. Estado de conservación: New. 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. Num Pages: 650 pages, Illustrations. BIC Classification: CFA; HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 203 x 44. Weight in Grams: 1298. . 2011. 2nd. Paperback. . . . . Books ship from the US and Ireland. Nº de ref. de la librería V9781575866321

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 66,87
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda