Imagen del editor

Proof And Consequence: An Introduction to Classical Logic

Jennings, R. E./ Friedrich, N. A.

5 valoraciones por Goodreads
ISBN 10: 1551115476 / ISBN 13: 9781551115474
Editorial: Broadview Pr, 2004
Nuevos Condición: Brand New Encuadernación de tapa blanda
Librería: Revaluation Books (Exeter, Reino Unido)

Librería en AbeBooks desde: 6 de enero de 2003

Cantidad: 1

Comprar nuevo
Precio recomendado: 67.95
Precio: EUR 83,12 Convertir moneda
Gastos de envío: EUR 6,83 De Reino Unido a Estados Unidos de America Destinos, gastos y plazos de envío
Añadir al carrito

Descripción

2nd edition. 220 pages. 8.75x6.50x1.25 inches. In Stock. N° de ref. de la librería __1551115476

Hacer una pregunta a la librería

Detalles bibliográficos

Título: Proof And Consequence: An Introduction to ...

Editorial: Broadview Pr

Año de publicación: 2004

Encuadernación: Paperback

Condición del libro:Brand New

Acerca de

Sinopsis:

Proof and Consequence is a rigorous, elegant introduction to classical first-order natural deductive logic; it provides an accurate and accessible first course in the study of formal systems. The text covers all the topics necessary for learning logic at the beginner and intermediate levels: this includes propositional and quantificational logic (using Suppes-style proofs) and extensive metatheory, as well as over 800 exercises.

Proof and Consequence provides exclusive access to the software application Simon, an easily downloadable program designed to facilitate an intuitive understanding of classical logic through the generation and analysis of proofs. It also aids with the representation of natural language sentences in the formal language. Equipped with nearly all the exercises found in the text, Simon helps students work efficiently and effectively by detecting and explaining errors in solutions as they proceed. Students can also submit assignments, view their own records, and check their standing in the class.

The complete logic package includes:

  • The logic textbook, Proof and Consequence
  • A very helpful study guide to the textbook, containing extra exercises, Simple Simon
  • Access, through Simon, to the grading software, Simon Says, that allows students to submit assignments and track their grades

About the Author:

Ray Jennings is Professor of Philosophy at Simon Fraser University. He is the author of The Geneology of Disjunction (Oxford University Press, 1994).

Nicole Friedrich is a researcher in philosophy and computer science. She is also the curator of Simon Fraser’s Laboratory for Logic and Experimental Philosophy.

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

Descripción de la librería

Ver la página web de la librería

Condiciones de venta:

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

Condiciones de envío:

Orders usually dispatched within two working days.

Todos los libros de esta librería

Métodos de pago
aceptados por la librería

Visa Mastercard American Express Carte Bleue