Hyperproof: For Macintosh (Center for the Study of Language and Information Publication Lecture Notes)

Jon Barwise; John Etchemendy

ISBN 10: 1881526119 ISBN 13: 9781881526117

Editorial: The Center for the Study of Language and Information Publications, 1995

Idioma: Ingl�s

Condici�n: Usado - Aceptable Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Fireside Bookshop, Stroud, GLOS, Reino Unido

Miembro de asociaci�n:

PBFA

Vendedor de AbeBooks desde 22 de septiembre de 2000

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Condici�n: Usado - Aceptable

Precio: EUR 11,91 Convertir moneda

EUR 14,45 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Type: Book Small plain label inside cover.Complete with diskette.

N� de ref. del art�culo 055941

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Hyperproof: For Macintosh (Center for the Study of Language and Information Publication Lecture Notes)

Editor

The Center for the Study of Language and Information Publications

Fecha de publicaci�n

1995

Idioma

Ingl�s

ISBN 10

1881526119

ISBN 13

9781881526117

Encuadernaci�n

Paperback

Estado

Good

Estado de la sobrecubierta

No d/j as Published

Cat�logos de vendedores

COMPUTING

Acerca de

Sinopsis

Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentential information, presenting a set of logical rules for integrating these different forms of information. This strategy allows students to focus on the information content of proofs, rather than the syntactic structure of sentences. Using Hyperproof the student learns to construct proofs of both consequence and nonconsequence using an intuitive proof system that extends the standard set of sentential rules to incorporate information represented graphically. Hyperproof is compatible with various natural-deduction-style proof systems, including the system used in the authors' Language of First-Order Logic.

Acerca del autor

Jon Barwise (1942-2000) was a mathematician, philosopher and logician. He taught at the Universities of Yale and Wisconsin before becoming the first director of the Center for the Study of Language and Information at Stanford University. From 1990 until his death he was professor of philosophy at Indiana University. John Etchemendy has been professor of philosophy at Stanford since 1983. In 2000 he became Provost of Stanford University.

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

Descripci�n de la librer�a

The Fireside Bookshop has now moved to Stroud in Gloucestershire.Our opening hours are from 10a.m.-5p.m. Tuesday to Saturday. Click on the Fireside Bookshop name above for more contact information.

Ver la p�gina web de la librer�a

Miembro de asociaci�n

Los miembros de estas asociaciones est�n comprometidos a mantener los est�ndares m�s altos. Ellos garantizan la autenticidad de los art�culos que ofrecen a la venta. Tienen descripciones expertas y detalladas, se�alan los defectos significativos y/o restauraciones, muestran los precios exactos y llevan a cabo un servicio de imparcialidad y honestidad durante la experiencia de la compra.

Informaci�n empresarial del vendedor

Fireside Bookshop
United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Books are despatched the same day as the order is confirmed.We are very happy to
answer any other enquiries regarding our stock either by E mail or phone.
Rob Sheppard.Fireside Bookshop.8 Rowcroft, Stroud, Gloucestershire, GL5 3AZ
info@firesidebookshop.co.uk 01453 764500

Condiciones de env�o

Postage costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra postage is required.
Any queries please email us or phone +44(0)1453 764500