Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Title |
Ways of proof theory [electronic resource] / Ralf Schindler (ed.). |
|
Imprint |
Frankfurt ; New Brunswick : Ontos Verlag, 2010. |
|
Axe ProQuest E-Book
|
Electronic Book |
--- |
Available |
Description |
v, 486 p. : ill. |
Series |
Ontos mathematical logic ; v. 2
|
Bibliography |
Includes bibliographical references. |
Reproduction |
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. |
Subject |
Proof theory.
|
Genre/Form |
Electronic books.
|
Added Author |
ProQuest (Firm)
|
ISBN |
9783868380873 |
|
9783110324525 |
|
9783110324907 (electronic bk.) |
|