An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs. [elektronicky zdroj]

Autor:	Mancosu, Paolo
Další autoři:	Galvan, Sergio Zach, Richard
Jazyk:	angličtina
Informace o vydání:	Oxford : Oxford University Press USA - OSO, 2021.
Předmět:	Proof theory Electronic books
Druh dokumentu:	Online; Non-fiction; Electronic document
Abstrakt:	Summary: 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.
Databáze:	Vybrané kolekce e-knih
Externí odkaz:	Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)