Formal methods : an introduction to symbolic and to the study of effective operations in arithmetic and logic /
Autor principal: | Beth, Evert Willem (Autor, Autor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Dordrecht, Holland :
Reidel,
c1962.
|
Materias: |
Ejemplares similares
-
Epistemología matemática y psicología : relaciones entre la lógica formal y el pensamiento real /
por: Beth, Evert Willem, et al.
Publicado: (1980) -
Formal logic : its scope and limits
por: Jeffrey, Richard C., et al.
Publicado: (1967) -
Logic techniques of formal reasoning /
por: Kalish, Donald, et al.
Publicado: (1964) -
An Introduction to symbolic logic
por: Langer, Susanne Katherina Knauth n. 1895, et al.
Publicado: (1953) -
Symbolic logic : an introduction
por: Thomason, Richmond H, et al.
Publicado: (1970)