Đang tải…
| Título: | Lógica y lenguajes formales/2 Sistemas de primer órden y deducción |
|---|---|
| Tác giả chính: | |
| Được phát hành: |
Buenos Aires
Centro editor de América latina
|
| Fecha de edición: | 1986 |
| Mô tả vật lý: | 272 p. |
| Loạt: | Bibliotecas Universitarias. Lógica y epistemología
|
| số ISBN: | 9502513185 |
| Những chủ đề: |