Online Library TheLib.net » Author books / Книги автора Jan von Plato
book The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
pdf
00
02.03.2024
0
0
Read online
book Kurt Gödel: Results on Foundations: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)
Kurt Gödel: Results on Foundations: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)
pdf
00
01.03.2024
0
0
Read online
book Proof Analysis: A Contribution to Hilbert’s Last Problem
Proof Analysis: A Contribution to Hilbert’s Last Problem
pdf
00
12.02.2024
0
0
Read online
book Kurt Gödel: The Princeton Lectures on Intuitionism
Kurt Gödel: The Princeton Lectures on Intuitionism
pdf
00
12.02.2024
0
0
Read online
book Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness
Can Mathematics Be Proved Consistent?: Gödel's Shorthand Notes & Lectures on Incompleteness
pdf
00
07.02.2024
0
0
Read online
book The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
pdf
00
29.01.2024
0
0
Read online
book Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
Saved from the cellar: Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
pdf
00
29.01.2024
0
0
Read online
book The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
pdf
00
29.01.2024
0
0
Read online
book Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
pdf
00
28.01.2024
0
0
Read online
book Structural Proof Theory
Structural Proof Theory
pdf
00
27.01.2024
0
0
Read online
1 2