El Lenguaje de la Lógica
por Jon Barwise · 1993
Ver sugerenciasSinopsis
Una introducción interactiva a la lógica de primer orden, que utiliza software para enseñar los conceptos y habilidades de la deducción lógica, incluyendo la validez, la consecuencia y la consistencia.
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
Tarski's World
1993
The Language of Evaluation
1993
Turing's World
1993
El Lenguaje de la Lógica: Introducción a la Lógica de Primer Orden
1993
Lógica y fundamentos de la lógica
1993
Language, Proof and Logic
1999
Mathematical 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.