Wolfram Pohlers

W.P. · W. Pohlers

title ISBN-13year of publica-
tion
other author(s)
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
978-3-540-11170-22009Wilfred Buchholz · Wilfried Sieg · Solomon Feferman
Logic Colloquium '02 978-1-108-63167-92020Zoé Chatzidakis · Peter Koepke
Logic Colloquium '02: Lecture Notes in Logic 27 978-1-56881-301-12006Zoé Chatzidakis · Peter Koepke
Proof Theory: An Introduction 978-0-387-51842-81990
Proof Theory: An Introduction (Lecture Notes in Mathematics)
978-3-540-51842-61989
Proof Theory: The First Step into Impredicativity
978-3-540-69318-52010

A K Peters/CRC Press · Cambridge University Press · Springer

 

Wolfram Prinz