Proof and disproof in formal logic : an introduction for programmers

• Tác giả: Richard Bornat
• Ngôn ngữ: eng
• ISBN-10: 0198530269
• ISBN-10: 0198530277
• ISBN-13: 978-0198530268
• Ký hiệu phân loại: 160 Logic
• Thông tin xuất bản: Oxford : Oxford University Press , 2005
• Mô tả vật lý: XIX, 243 s. : , ill.
• Bộ sưu tập: Tâm lý, Logic
• ID: 28353
• Chủ đề: 1. Evidence; 2. Logic, Modern