Relating First-Order Set Theories and Elementary Toposes von Awodey, Steve, Butz, Carsten, Simpson, Alex, Streicher, Thomas

Volltext

Relating first-order set theories, toposes and categories of classes von Awodey, Steve, Butz, Carsten, Simpson, Alex, Streicher, Thomas

Volltext

Saturated models of intuitionistic theories von Butz, Carsten

Volltext

Bernays–Gödel type theory von Butz, Carsten

Volltext

Representing topoi by topological groupoids von Butz, Carsten, Moerdijk, Ieke

Volltext

Syntax and Semantics of the Logic Lww von Butz, Carsten

Volltext

Syntax and Semantics of the Logic $\mathcal{L}^\lambda_{\omega\omega} von Butz, Carsten

Volltext

A topological completeness theorem von Butz, Carsten

Volltext

Finitely Presented Heyting Algebras von Butz, Carsten

Volltext

Syntax and Semantics of the logic L_omega omega^lambda von Butz, Carsten

Volltext

Topological Representation of Sheaf Cohomology of Sites von BUTZ, CARSTEN, MOERDIJK, IEKE

Volltext

Classifying toposes for first-order theories von Butz, Carsten, Johnstone, Peter

Volltext

Topological Completeness for Higher-Order Logic von Awodey, Steve, Butz, Carsten

Volltext

A Definability Theorem for First Order Logic von Butz, Carsten, Moerdijk, Ieke

Volltext

Implement system for machine and operating method therefor von Duppong, Brent, Butz, Carsten, Kühnemund, Frank, Palmer, Matthew, Moberg, Carl, Kortmann, Oliver

Volltext bestellen

CONTROL SYSTEM AND METHOD FOR CONTROLLING OPERATION OF AN UNDERGROUND MINING MACHINE von MOBERG, Carl John, HUEHN, Bjoern-Andre, TEMMANN, Thomas, ALLE, Konstantin, BUTZ, Carsten, KÜHNEMUND, Frank, KORTMANN, Oliver

Volltext bestellen

CONTROL SYSTEM AND METHOD FOR CONTROLLING OPERATION OF AN UNDERGROUND MINING MACHINE von Butz, Carsten, Moberg, Carl John, Kühnemund, Frank, Halle, Konstantin, Huehn, Bjoern-Andre, Temmann, Thomas, Kortmann, Oliver

Volltext bestellen

Thin-walled structural component, and method for the production thereof von DUSEL KARL-HEINZ, BUTZ CARSTEN, JAKIMOV ANDREAS, BAYER ERWIN

Volltext bestellen

IMPLEMENT LUBRICATION SYSTEM FOR A MINING MACHINE AND OPERATING METHOD THEREFOR von KUEHNEMUND, Frank, MOBERG, Carl, PALMER, Matthew, DUPPONG, Brent, BUTZ, Carsten, KORTMANN, Oliver

Volltext bestellen

IMPLEMENT SYSTEM FOR MACHINE AND OPERATING METHOD THEREFOR von Duppong, Brent, Butz, Carsten, Kühnemund, Frank, Palmer, Matthew, Moberg, Carl, Kortmann, Oliver

Volltext bestellen