Tarski's World
por Jon Barwise, John Etchemendy · 1993
Ver sugerenciasSinopsis
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
Definability by Boolean Combinations
1977
Computation and Proof
1981
Model-Theoretic Logics
1982
The Laws of Truth
1983
Situations and Attitudes
1988
Logic and the Structure of the World
1992
El Lenguaje de la Lógica: Introducción a la Lógica de Primer Orden
1993
The Language of Evaluation
1993
Turing's World
1993
El Lenguaje de la Lógica
1993
Lógica y fundamentos de la lógica
1993
Mathematical Logic
1999
Language, Proof and Logic
1999
Semantics for Disjunctive Logic Programming
1999
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.