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.) |
|
