Mechanizing logic I : map logic extended formally to relational arguments ; &, Mechanizing logic II : automated map logic method for relational arguments on paper and by computer /
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Denistone, N.S.W. :
J. Rybak,
1983.
|
| Materias: |
| Notas: | Cover title: Mechanizing logic 1 & 2. Available from Mr J. Rybak, 8 Stratford Avenue, Denistone, N.S.W. 2114. |
|---|---|
| Descripción Física: | 25, 24 p. : ill. ; 29 cm. |
| Bibliografía: | Includes bibliographical references. |
| ISBN: | 0959857613 : |