Online Library TheLib.net » Proof Theory
cover of the book Proof Theory

Ebook: Proof Theory

00
02.03.2024
0
0
In proof theory we investigate the objects used for computations and arguments in computer science and mathematics. Our starting point is the classical analysis given by Gerhard Gentzen in the 1930s. We develop this further using a new theory of ordinal notation and connecting this with combinatorics on finite trees.
Download the book Proof Theory for free or read online
Read Download
Continue reading on any device:
QR code
Last viewed books
Related books
Comments (0)
reload, if the code cannot be seen