Wilfried Siegの本 - BookPine

Feferman on Foundations: Logic, Mathematics, Philosophy

Feferman on Foundations: Logic, Mathematics, Philosophy

Gerhard Jäger

Kurt Gödel: Collected Works (Volume V)

Kurt Gödel: Collected Works (Volume V)

Kurt Gödel

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 (David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891-1933 3)

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 (David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891-1933 3)

William Ewald

Hilbert's Programs and Beyond

Hilbert's Programs and Beyond

Wilfried Sieg

Acting and Reflecting: The Interdisciplinary Turn in Philosophy

Acting and Reflecting: The Interdisciplinary Turn in Philosophy

Wilfried Sieg

Acting and Reflecting: The Interdisciplinary Turn in Philosophy

Acting and Reflecting: The Interdisciplinary Turn in Philosophy

Wilfried Sieg

Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15

Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15

Wilfried Sieg

An abstract model for parallel computations: Gandy's thesis

An abstract model for parallel computations: Gandy's thesis

Wilfried Sieg

Proof Theory of Arithmetic: Results and Applications

Proof Theory of Arithmetic: Results and Applications

Wilfried Sieg

Logic and Computation: Proceedings of a Workshop Held at Carnegie Mellon University, June 30-July 2, 1987

Logic and Computation: Proceedings of a Workshop Held at Carnegie Mellon University, June 30-July 2, 1987

Wilfried Sieg

Hilbert's Programs and Beyond

Hilbert's Programs and Beyond

Wilfried Sieg