Gå direkte til innholdet
A Model–Theoretic Approach to Proof Theory
Spar

A Model–Theoretic Approach to Proof Theory

innbundet, 2019
Engelsk

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

Opplag
2019 ed.
ISBN
9783030289201
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
9.10.2019
Antall sider
109