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

A Model–Theoretic Approach to Proof Theory

Kirjailija:
sidottu, 2019
englanti

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

Painos
2019 ed.
ISBN
9783030289201
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
9.10.2019
Sivumäärä
109