Siirry suoraan sisältöön
A Model–Theoretic Approach to Proof Theory
Tallenna

A Model–Theoretic Approach to Proof Theory

This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results.

Painos
2019 ed.
ISBN
9783030289232
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
9.10.2020
Sivumäärä
109