Gå direkt till innehållet
A Model–Theoretic Approach to Proof Theory
Spara

A Model–Theoretic Approach to Proof Theory

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

Författare
Henryk Kotlarski
Upplaga
2019 ed.
ISBN
9783030289232
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2020-10-09
Sidor
109