Lógica e aritmética : uma introdução informal aos métodos formais
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Được phát hành: |
Gradiva
1991
|
| Phiên bản: | 1ª |
| Những chủ đề: | |
| Truy cập trực tuyến: | Ver na biblioteca |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|