Proof Theory: The First Step into Impredicativity (Universitext)

Universitext

von Wolfram Pohlers

Taschenbuch

ISBN: 978-3-540-69318-5

ISBN-10: 3-540-69318-1

Springer Berlin Heidelberg · 2010