Proof theory.

概要
作品: 58 作品在 24 項出版品 24 種語言
書目資訊
Introduction to proof in abstract mathematics / by: (書目-語言資料,印刷品)
Proof theory : = an introduction / by: (書目-語言資料,印刷品)
Goal-directed proof theory / by: (書目-語言資料,印刷品)
Logic for concurrency and synchronisation by: (書目-語言資料,印刷品)
Linear logic in computer science / by: (書目-語言資料,印刷品)
更多
主題
 
 
變更密碼
登入