Search results for: Wilfried Sieg
Studia Semiotyczne > 2020 > 34 > 1
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Logic and Deduction > 169-191
Synthese Library > Logicism, Intuitionism, and Formalism > Formalism > 449-483
Natural Computing > 2007 > 6 > 2 > 187-205
Annals of Pure and Applied Logic > 2005 > 133 > 1-3 > 319-338
Studia Logica > 1998 > 60 > 1 > 67-106