The book is currently out of stock

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

Authors

Kurt Schütte

Parameters

Categories

Mathematics

Series: Sitzungsberichte / Bayerische Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse : [...], Sonderdruck aus den Sitzungsberichten

Book purchase

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

Language
Released: 1987

We’ll notify you via email once we track it down.

Payment methods