Symbolic logic and mechanical theorem proving /
Guardado en:
Autor principal: | Chin-liang Chang |
---|---|
Otros Autores: | Char-lung, Lee Richard |
Formato: | Libro |
Lenguaje: | Español |
Publicado: |
New York :
Academic,
1973
|
Materias: | |
Aporte de: | Registro referencial: Solicitar el recurso aquí |
Ejemplares similares
-
First-order logic and automated theorem proving /
por: Fitting, Melvin
Publicado: (1996) -
Symbolic logic and the game of logic /
por: Carroll, Lewis
Publicado: (1958) -
An introduction to symbolic logic /
por: Langer, Susanne K
Publicado: (1953) -
Symbolic logic and the game of logic : (both books bound as one) /
por: Carroll, Lewis, 1832-1898
Publicado: (1958) -
Elements of symbolic logic /
por: Reichenbach, Hans, 1891-1953
Publicado: (1947)