ロード中…
| Título: | Lógica y lenguajes formales/2 Sistemas de primer órden y deducción |
|---|---|
| 第一著者: | |
| 出版事項: |
Buenos Aires
Centro editor de América latina
|
| Fecha de edición: | 1986 |
| 物理的記述: | 272 p. |
| シリーズ: | Bibliotecas Universitarias. Lógica y epistemología
|
| ISBN: | 9502513185 |
| 主題: |