登入選單
Google圖書搜尋
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