Publication details
Verlag: Springer
Ort: Berlin
Jahr: 2006
Pages: 77-136
Reihe: International Mathematical Series
ISBN (Hardback): 9780387286884
Volle Referenz:
, "Problems in the logic of provability", in: Mathematical problems from applied logic I, Berlin, Springer, 2006
Problems in the logic of provability
pp. 77-136
in: Dov M. Gabbay, Sergei Goncharov, Michael Zakharyaschev (eds), Mathematical problems from applied logic I, Berlin, Springer, 2006Publication details
Verlag: Springer
Ort: Berlin
Jahr: 2006
Pages: 77-136
Reihe: International Mathematical Series
ISBN (Hardback): 9780387286884
Volle Referenz:
, "Problems in the logic of provability", in: Mathematical problems from applied logic I, Berlin, Springer, 2006