Related Books
Language: en
Pages: 240
Pages: 240
Type: BOOK - Published: 2013-04-18 - Publisher: Springer Science & Business Media
Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as oppos
Language: en
Pages: 245
Pages: 245
Type: BOOK - Published: 2000 - Publisher:
Language: en
Pages: 431
Pages: 431
Type: BOOK - Published: 2021 - Publisher: Oxford University Press
"Proof theory is a central area of mathematical logic of special interest to philosophy . It has its roots in the foundational debate of the 1920s, in particula
Language: en
Pages: 247
Pages: 247
Type: BOOK - Published: 2006-11-15 - Publisher: Springer
Language: en
Pages: 292
Pages: 292
Type: BOOK - Published: 2009-09-24 - Publisher: Springer Science & Business Media
The purpose of this book is to give background for those who would like to delve into some higher category theory. It is not a primer on higher category theory