Proof theory of impredicative subsystems of analysis
by:
Wilfried Buchholz
·
Kurt Schütte
Copertina rigida
details (
Italy
).
ISBN: 978-88-7088-166-0
ISBN-10: 88-7088-166-0
Bibliopolis
· 2007
