真理・証明・計算_論理と機械

Tankobon Hardcover

details (USA).

ISBN: 978-4-623-01884-0

ISBN-10: 4-623-01884-9

(978-4-623)