Iterated inductive definitions and subsystems of analysis. Recent proof-theoretical studies.
Buchholz, Wilfred
Verkauft von Antiquariat Bookfarm, Löbnitz, Deutschland
AbeBooks-Verkäufer seit 28. Oktober 2009
Gebraucht - Softcover
Anzahl: 1 verfügbar
In den Warenkorb legen