Skip to main content
Booklooky Logo
Sign in

Proof theory

by Takeuti, Gaisi

Looky Rating System: Violence 0/5, Love & Romance 0/5, Mental Health 0/5, Language 0/5, Substance Use 0/5, Fear / Horror 0/5, Fantasy / Supernatural 0/5, LGBTQ+ Representation 0/5.

Description

This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition.