Search results

Lectures (Paperback ed.), Oxford University Press Inc., pp. 87–113, ISBN 978-0-19-514722-3 Jervell, Herman Ruge (1999), A course in proof theory (textbook draft ed...

Unpublished Essays and Lectures ISBN 978-0-19-507255-6 / Paperback: ISBN 978-0-19-514722-3, Volume IV: Correspondence, A–G ISBN 978-0-19-850073-5, Volume V:...