Proof theory The first step into impredicativity.
Pohlers Wolfram
Proof theory The first step into impredicativity. - Berlin Springer 2009 - xiii, 370p cm.
2507.2620000000002
106952
593, 23/03/2010, Insat Books and Periodicals Textual
Mathematics
B: (R14), P9
Proof theory The first step into impredicativity. - Berlin Springer 2009 - xiii, 370p cm.
2507.2620000000002
106952
593, 23/03/2010, Insat Books and Periodicals Textual
Mathematics
B: (R14), P9
