Carnap’s Turn to the Thing Language von Klev, Ansten

Volltext

Dedekind's Logicism von Klev, Ansten Mørch

Volltext

The purely iterative conception of set von Klev, Ansten

Volltext

Aspects of a logical theory of assertion and inference von Klev, Ansten

Volltext

Identity in Martin‐Löf type theory von Klev, Ansten

Volltext

The Harmony of Identity von Klev, Ansten

Volltext

ETA-RULES IN MARTIN-LÖF TYPE THEORY von KLEV, ANSTEN

Volltext

The Justification of Identity Elimination in Martin-Löf’s Type Theory von Klev, Ansten

Volltext

A ROAD MAP OF DEDEKIND'S THEOREM 66 von Klev, Ansten

Volltext

Carnap’s Turn to the Thing Language von Ansten Klev

Volltext

Identity and Sortals (and Caesar) von Klev, Ansten

Volltext

A Proof-Theoretic Account of the Miners Paradox von Klev, Ansten

Volltext

THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) von McCARTY, CHARLES, SHAPIRO, STEWART, KLEV, ANSTEN

Volltext

THE CONCEPT HORSE IS A CONCEPT von KLEV, ANSTEN

Volltext

Infinite time extensions of Kleene’s von Klev, Ansten Mørch

Volltext

Carnap on unified science von Klev, Ansten

Volltext

Carnap et les catégories von Klev, Ansten

Volltext

DEDEKIND AND HILBERT ON THE FOUNDATIONS OF THE DEDUCTIVE SCIENCES von KLEV, ANSTEN

Volltext

Carnap’s Turn to the Thing Language von Klev, Ansten

Volltext

Sur la philosophie scientifique et l’unité de la science von Armatte, Michel, Benis-Sinaceur, Hourya, Bourdeau, Michel, Brenner, Anastasios, Dahms, Hans-Joachim, Galavotti, Maria Carla, Heinzmann, Gerhard, Klev, Ansten, Lolli, Gabriele, Miskiewicz, Wioletta A, Rouilhan, Philippe de, Schlaudt, Oliver, Wagner, Pierre, Woleński, Jan, Wolters, Gereon

Volltext