Bookbot

Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der π1/2-Separation [Pi-Separation] und Bar-Induktion

Parametre

Nákup knihy

Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der π1/2-Separation [Pi-Separation] und Bar-Induktion, Wilfried Buchholz

Jazyk
Rok vydania
1983
Akonáhle sa objaví, pošleme e-mail.

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť