Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic

Detalles Bibliográficos
Autor principal: Beth, Evert Willem
Formato: Libro
Lenguaje:English
Publicado: Dordrecht D. Reidel [c1962]
Colección:Synthese Library
Materias: