Author

Wilfried Sieg

20 books found.

Related book clubs Claim author profile

Yazar hakkında

0 followers · 0 likes

No biography has been added for this author yet.

Cilt sonuçları

Hilbert's Programs and Beyond

Wilfried Sieg · Oxford University Press

452 sayfa · 2013-01-24

Philosophy

Logic and Computation

Wilfried Sieg · American Mathematical Soc.

314 sayfa · 1990

Mathematics

Sie werden lachen: Die Bibel

Hans-Wilfried Haase · BoD – Books on Demand

50 sayfa · 2026-08-05

Literary Criticism

Trees in Mathematics

Wilfried Sieg · Yayınevi bilinmiyor

234 sayfa · 1977

Induction (Logic)

CiltOnly Two LettersWilfried Sieg, Carnegie-Mellon University. Department of Philosophy

Only Two Letters

Wilfried Sieg, Carnegie-Mellon University. Department of Philosophy · Yayınevi bilinmiyor

Sayfa sayısı yok · 2003

Kategori yok

CiltTrees in MetamathematicsWilfried Sieg

Trees in Metamathematics

Wilfried Sieg · Yayınevi bilinmiyor

Sayfa sayısı yok · 1980

Kategori yok

MathematicsMechanical Procedures and Mathematical ExperienceWilfried Sieg

Mechanical Procedures and Mathematical Experience

Wilfried Sieg · Yayınevi bilinmiyor

65 sayfa · 1991

Mathematics

Proof theoryProof TheoryWilfried Sieg

Proof Theory

Wilfried Sieg · Yayınevi bilinmiyor

38 sayfa · 1996

Proof theory

Proof theoryMechanisierung Mathematischer Erfahrung OderWilfried Sieg

Mechanisierung Mathematischer Erfahrung Oder

Wilfried Sieg · Yayınevi bilinmiyor

58 sayfa · 1992

Proof theory

Gödel's theoremFormal Systems, Church Turing Thesis, and Godel's TheoremsWilfried Sieg

Formal Systems, Church Turing Thesis, and Godel's Theorems

Wilfried Sieg · Yayınevi bilinmiyor

40 sayfa · 1997

Gödel's theorem

Machine theoryA Abstract Model for Parallel ComputationsWilfried Sieg, John Byrnes

A Abstract Model for Parallel Computations

Wilfried Sieg, John Byrnes · Yayınevi bilinmiyor

14 sayfa · 1999

Machine theory

MathematicsAspects of Mathematical ExperienceWilfried Sieg

Aspects of Mathematical Experience

Wilfried Sieg · Yayınevi bilinmiyor

54 sayfa · 1993

Mathematics

Number theoryComputability TheoryDaniele Mundici, Wilfried Sieg

Computability Theory

Daniele Mundici, Wilfried Sieg · Yayınevi bilinmiyor

34 sayfa · 1994

Number theory

Finite, TheHilbert's ProgramsWilfried Sieg

Hilbert's Programs

Wilfried Sieg · Yayınevi bilinmiyor

74 sayfa · 1997

Finite, The

Automatic theorem provingNormal Natural Deduction Proofs (in Classical Logic)Wilfried Sieg, John Byrnes

Normal Natural Deduction Proofs (in Classical Logic)

Wilfried Sieg, John Byrnes · Yayınevi bilinmiyor

46 sayfa · 1997

Automatic theorem proving

LogicEffectiveness and ProvabilityWilfried Sieg

Effectiveness and Provability

Wilfried Sieg · Yayınevi bilinmiyor

24 sayfa · 1992

Logic

Machine theoryPaper MachinesDaniele Mundici, Wilfried Sieg

Paper Machines

Daniele Mundici, Wilfried Sieg · Yayınevi bilinmiyor

62 sayfa · 1994

Machine theory

Turing machinesK-graph MachinesWilfried Sieg, John Byrnes

K-graph Machines

Wilfried Sieg, John Byrnes · Yayınevi bilinmiyor

66 sayfa · 1994

Turing machines

MathematicsDavid Hilbert’s Lectures on the Foundations of Geometry 1891–1902Michael Hallett, Ulrich Majer

David Hilbert’s Lectures on the Foundations of Geometry 1891–1902

Michael Hallett, Ulrich Majer · Springer

Sayfa sayısı yok · 2004-05-17

Mathematics

MathematicsDavid Hilbert's Lectures on the Foundations of Physics 1915-1927Tilman Sauer, Ulrich Majer

David Hilbert's Lectures on the Foundations of Physics 1915-1927

Tilman Sauer, Ulrich Majer · Springer

690 sayfa · 2009-08-27

Mathematics

From readers

Loading posts…