Hyperproof: For Macintosh - Center for the Study of Language and Information Publication Lecture Notes - Jon Barwise - Libros - Centre for the Study of Language & Infor - 9781881526117 - 30 de junio de 1994
En caso de que portada y título no coincidan, el título será el correcto

Jon Barwise
Hyperproof: For Macintosh - Center for the Study of Language and Information Publication Lecture Notes 2nd edition

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Hyperproof is a system for learning the principles of analytical reasoning and constructing proofs. It is intended for use in conjunction with a presention of the formal syntactic system of first-order propositional logic, especially the authors' software program, "Tarski's World".

273 pages

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 30 de junio de 1994
ISBN13 9781881526117
Editores Centre for the Study of Language & Infor
Páginas 273
Dimensiones 178 × 255 × 20 mm   ·   612 g

Mas por Jon Barwise

Mostrar todo

Mere med samme udgiver

Ver todo de Jon Barwise ( Ej. Paperback Book y Hardcover Book )