Structural Proof Theory 在線電子書 圖書標籤: 邏輯學 證明論
發表於2024-12-23
Structural Proof Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
證明論課程教材。易讀。略犯睏。偶爾有錯誤。
評分證明論課程教材。易讀。略犯睏。偶爾有錯誤。
評分證明論課程教材。易讀。略犯睏。偶爾有錯誤。
評分證明論課程教材。易讀。略犯睏。偶爾有錯誤。
評分證明論課程教材。易讀。略犯睏。偶爾有錯誤。
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
評分
評分
評分
評分
Structural Proof Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024