Knihobot
Knihu momentálně nemáme skladem

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

Autoři

Varianta knihy

1987

Nákup knihy

Kniha aktuálně není skladem.