Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Wilfried Sieg
Observed names:
Sieg,
Sieg, Wilfried,
W. Sieg,
WILFRIED SIEG
Institutions:
Kazimierz Wielki University in Bydgoszcz,
Carnegie Mellon University
Observed institutions:
Kazimierz Wielki University in Bydgoszcz,
University of Pittsburgh,
Carnegie Mellon University,
Columbia University,
Ludwig-Maximilians-Universität München,
Stanford University
show all 6
ORCID:
0000-0002-7130-0524
Observed ORCID:
0000-0002-7130-0524
OpenAlex ID:
A5023409888
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
1981
·
Wilfried Buchholz
, Solomon Feferman
, et al.
·
Lecture notes in mathematics
·
236
Step by Recursive Step: Church's Analysis of Effective Calculability
1997
·
Wilfried Sieg
·
Bulletin of Symbolic Logic
·
180
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
2013
·
William Ewald
, Wilfried Sieg
·
Springer eBooks
·
132
Mechanical Procedures and Mathematical Experience
1994
·
Wilfried Sieg
·
Oxford University Press eBooks
·
130
Hilbert's program sixty years later
1988
·
Wilfried Sieg
·
Journal of Symbolic Logic
·
120
Hilbert's Programs: 1917–1922
1999
·
Wilfried Sieg
·
Bulletin of Symbolic Logic
·
112
Fragments of arithmetic
1985
·
Wilfried Sieg
·
Annals of Pure and Applied Logic
·
100
PDF
On Computability
2009
·
Wilfried Sieg
·
Elsevier eBooks
·
62
Dedekind’s Analysis of Number: Systems and Axioms
2005
·
Wilfried Sieg
, Dirk Schlimm
·
Synthese
·
58
Church Without Dogma: Axioms for Computability
2007
·
Wilfried Sieg
·
Springer eBooks
·
54
Normal Natural Deduction Proofs (in Non-classical Logics)
2005
·
Wilfried Sieg
, Saverio Cittadini
·
Lecture notes in computer science
·
52
Calculations by man and machine: conceptual analysis*
2017
·
Wilfried Sieg
·
Cambridge University Press eBooks
·
46
Herbrand analyses
1991
·
Wilfried Sieg
·
Archive for Mathematical Logic
·
43
The AProS Project: Strategic Thinking & Computational Logic
2007
·
W. Sieg
·
Logic Journal of IGPL
·
42
Godel on computability
2006
·
W. Sieg
·
Philosophia Mathematica
·
40
An Abstract Model For Parallel Computations
1999
·
Wilfried Sieg
, John Byrnes
·
The Monist
·
39
Computer Environments for Proof Construction
1994
·
Richard Scheines
, Wilfried Sieg
·
Interactive Learning Environments
·
38
Proof theoretic equivalences between classical and constructive theories for analysis
1981
·
Solomon Feferman
, Wilfried Sieg
·
Lecture notes in mathematics
·
33
Normal Natural Deduction Proofs (in classical logic)
1998
·
Wilfried Sieg
, John Byrnes
·
Studia Logica
·
31
K-graph Machines: generalizing Turing’s machines and arguments
1996
·
Wilfried Sieg
, John Byrnes
·
Lecture notes in logic
·
27
The effect of blended instruction on accelerated learning
2015
·
Melissa M. Patchan
, Christian D. Schunn
, et al.
·
Technology Pedagogy and Education
·
24
The Ways of Hilbert's Axiomatics: Structural and Formal
2013
·
Wilfried Sieg
·
Perspectives on Science
·
24
Only Two Letters: The Correspondence between Herbrand and Gödel
2005
·
Wilfried Sieg
·
Bulletin of Symbolic Logic
·
24
Inductive definitions and subsystems of analysis
1981
·
S. Feferman
, W. Sieg
·
Lecture notes in mathematics
·
24
K-graph Machines: generalizing Turing's machines and arguments
2017
·
Wilfried Sieg
, John Byrnes
·
Cambridge University Press eBooks
·
22
Show more works
View as search
Works count:
119
Citation count:
2,062
H-index:
24
I10-index:
40
Year
Topic
Type
