Estamos experimentando algunos errores en la base de datos. Algunas funciones pueden no responder correctamente.
Tarski's World
por Jon Barwise, John Etchemendy · 1993
Sinopsis
Un libro de texto interactivo que introduce la lógica de primer orden a través de un programa de software que permite a los estudiantes construir y evaluar modelos del 'Mundo de Tarski'.
Sé el primero en valorar este libro.
Más de Jon Barwise
Ver autor →Otras obras del mismo autor en el catálogo
An Outline of Set Theory
1971
sin portada
Definability by Boolean Combinations
1977
sin portada
Computation and Proof
1981
sin portada
Model-Theoretic Logics
1982
The Laws of Truth
1983
Situations and Attitudes
1988
Logic and the Structure of the World
1992
sin portada
The Language of Evaluation
1993
Lógica y fundamentos de la lógica
1993
sin portada
Semantics for Disjunctive Logic Programming
1999
sin portada
Mathematical Logic
1999
Libros similares
Libros relacionados según distintos criterios de búsqueda