Sieg, Wilfried, 1945-....
Sieg, Wilfried
Wilfried Sieg
VIAF ID: 67525053 ( Personal )
Permalink: http://viaf.org/viaf/67525053
Preferred Forms
- 200 _ | ‡a Sieg ‡b Wilfried
- 100 1 _ ‡a Sieg, Wilfried
- 100 1 _ ‡a Sieg, Wilfried
-
-
-
-
- 100 1 _ ‡a Sieg, Wilfried ‡d 1945-
- 100 1 _ ‡a Sieg, Wilfried ‡d 1945-
- 100 1 0 ‡a Sieg, Wilfried, ‡d 1945-
-
-
- 100 1 _ ‡a Sieg, Wilfried, ‡d 1945-
-
-
- 100 1 _ ‡a Sieg, Wilfried, ‡d 1945-....
- 100 0 _ ‡a Wilfried Sieg
4xx's: Alternate Name Forms (2)
5xx's: Related Names (4)
- 510 2 _ ‡a Carnegie Mellon University
- 510 2 _ ‡a Carnegie Mellon University ‡e Affiliation
- 510 2 _ ‡a Workshop on Logic and Computation ((1987 (Carnegie Mellon University))
- 510 2 _ ‡a Workshop on Logic and Computation (1987 : Pittsburgh)
Works
Title | Sources |
---|---|
Acting and reflecting the interdisciplinary turn in philosophy | |
David Hilbert's lectures on the foundations of arithmetic and logic, 1917-1933 | |
Foundations of mathematics I : part A: prefaces and §§ 1-2 | |
Gödel's philosophical challenge (to Turing) | |
Hilbert's programs and beyond | |
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies | |
Logic and computation in philosophy | |
Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 | |
Natural deduction | |
Proofs, categories and computations : essays in honor of Grigori Mints | |
Reflections on the foundations of mathematics : essays in honor of Solomon Feferman |