A theory of formal deducibility
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Notre Dame
University of Notre Dame
1950
|
| Loạt: | Notre Dame Mathematical Lectures, 6
|
| Những chủ đề: | |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Biblioteca de Matemática -
| Số hiệu: |
511.3 CUR 1950 |
|---|---|
| Sao chép 2689553 | Sẵn có Đặt Giữ |