登入
選單
Google圖書搜尋
全部
書名
作者
出版社
主題
ISBN
上一頁
1 ~ 11 / 11
下一頁
Syntax and Semantics of the Logic L Ōō/ Carsten Bu...
作者
Carsten Butz
出版
1997
ISBN
OCLC:246035852
Finitely Presented Heyting Algebras
作者
Carsten Butz
出版
1998
ISBN
OCLC:247156942
Topological Completeness for Higher-order Logic
作者
Steve Awodey / Carsten Butz
出版
1997
ISBN
OCLC:37931333
主題
Logic, Symbolic and mathematical
Syntax Amd Semantics of the Logic L L[lambda]o[ome...
作者
Carsten Butz
出版
1997
ISBN
OCLC:489081842
Syntax and Semantics of the Logic Lλωω
出版
1997
ISBN
OCLC:1225874600
Topological Completeness for Higher-order Logics
作者
Steve Awodey / Carsten Butz
出版
1997
ISBN
OCLC:246036540
A Definability Theorem for First Order Logic
作者
Carsten Butz / Ieke Moerdijk
出版
1997
ISBN
OCLC:246013075
A Definiability Theorem for First Order Logic
作者
Carsten Butz / Moerdijk Ieke
出版
1997
ISBN
OCLC:477834908
Classifying Toposes for First Order Theories
作者
Carsten Butz / Peter T. Johnstone
出版
1997
ISBN
OCLC:246034159
Logical and Cohomological Aspects of the Space of ...
作者
Carsten Horst Erich Butz
出版
1996
ISBN
9039311676 / 9789039311677
Organ Playing from the Very Beginning
作者
Carsten Klomp
出版
2020
ISBN
3928412906 / 9783928412902