Author(s): Pohlers, Wolfram
Series: Universitext
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2009
Language: English
Pages: 388
City: Berlin, Heidelberg
Tags: Logic, Symbolic and mathematical.;Mathematics.;Logic, Symbolic and mathematical;Mathematics;Beweistheorie;Online-Publikation;Beweistheorie.