Proof, logic and formalization

• Tác giả: Michael Detlefsen
• Ngôn ngữ: eng
• ISBN-10: 0415023351
• Ký hiệu phân loại: 511.3 Mathematical logic (Symbolic logic)
• Thông tin xuất bản: London ; New York : Routledge, 1992
• Mô tả vật lý: x, 241 p. : , ill. ; , 23 cm.
• Bộ sưu tập: Khoa học tự nhiên
• ID: 43036
• Chủ đề: 1. Logic, Symbolic and mathematical; 2. Proof theory

Includes bibliographical references and index.