Lectures on the Curry-Howard isomorphism /

Autor Sørensen, Morten Heine B. 1968-, Urzyczyn, Pawel
Vydáno 2006

An introduction to proof theory : normalization, cult-elimination, and consistency proofs /

Autor Mancosu, Paolo, 1960-, Galvan, Sergio, 1946-, Zach, Richard
Vydáno 2021

Three views of logic : mathematics, philosophy, and computer science /

Autor Loveland, Donald W., Hodel, Richard E., Sterrett, S. G.
Vydáno 2014

The structure of proof : with logic and set theory /

Autor O'Leary, Michael L.
Vydáno 2002

Proof theory and algebra in logic /

Autor Ono, Hiroakira, 1942-
Vydáno 2019