Search results for: Wilfried Sieg
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Logic and Deduction > 169-191
Synthese Library > Logicism, Intuitionism, and Formalism > Formalism > 449-483
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Logic and Deduction > 169-191
Synthese Library > Logicism, Intuitionism, and Formalism > Formalism > 449-483