Jon Barwise (1942–2000)
Autor de Language, Proof and Logic
Sobre El Autor
Obras de Jon Barwise
Etiquetado
Conocimiento común
- Nombre canónico
- Barwise, Jon
- Nombre legal
- Barwise, Kenneth Jon
- Fecha de nacimiento
- 1942-06-29
- Fecha de fallecimiento
- 2000-03-05
- Género
- male
- Nacionalidad
- USA
- Lugar de nacimiento
- Independence, Missouri, USA
- Lugar de fallecimiento
- Bloomington, Indiana, USA
- Educación
- Stanford University
- Ocupaciones
- Mathematician
Philosopher - Premios y honores
- American Academy of Arts and Sciences (1999)
Miembros
Reseñas
También Puede Gustarte
Autores relacionados
Estadísticas
- Obras
- 20
- Miembros
- 679
- Popularidad
- #37,221
- Valoración
- 3.5
- Reseñas
- 4
- ISBNs
- 51
- Idiomas
- 1
This book is about relating the real world and logic in arguments and was supported by a software tool, also called Hyperproof. The software is now obsolete, but the explanations of the software in the book are good enough to make its functioning quite clear.