Metalogic: an introduction to the meta theory of standard first order logic

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Hunter, G.
Định dạng: Sách
Ngôn ngữ:Tiếng không xác định
Được phát hành: New York Macmillan & co. Ltd 1971
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!