Bookbot

Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit Π12-Separation [Pi-Separation] und Bar-Induktion

Parametre

Nákup knihy

Eine beweistheoretische Abgrenzung des Teilsystems der Analysis mit Π12-Separation [Pi-Separation] und Bar-Induktion, Kurt Schütte

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

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť