An Introduction to Proof Theory - Normalization, Cut-Elimination, and Consistency Proofs

Mancosu, Paolo - Zach, Richard - Galvan, Sergio

Oxford University Press, 2021

Összefoglaló

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.

angol･432 oldal･papír / puha kötés

További részletek

ÉRTÉKELÉSEK

0 az 5-ből
0 értékelés alapján

5 csillag 0% 4 csillag 0% 3 csillag 0% 2 csillag 0% 1 csillag 0%

Neked hogy tetszett?

Értékeld:

Csak bejelentkezett felhasználók értékelhetik a terméket.

Belépek

Vagy lépj be a facebook vagy google fiókoddal