E-book
Methods of Cut-Elimination [electronic resource] / by Alexander Leitsch, Matthias Baaz.
Record details
- ISBN: 9789400703209
- Physical Description: VI, 287p. 360 illus. digital.
- Publisher: Dordrecht : Springer Netherlands, 2011.
Search for related items by subject
| Subject: | Mathematics. Computer science. Logic, Symbolic and mathematical. Mathematics. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. |
