Your search returned 4 results.

1.
No cover image available No cover image available
Proof theory: the first step into impredicativity /

by Pohlers,, Wolfram.

Material type: Text Text; Format: print Publication details: New Delhi: Springer, 2009Availability: Items available for loan: Call number: 511.36 PHO/ (1).

Place hold Add to cart
2.
Applied Proof Theory: Proof Interpretations and their use in Mathematics /

by Kohlenbach,, Ulrich.

Series: Springer Monographs in Mathematics | Springer Monographs in MathematicsEdition: 1Material type: Text Text; Format: print Language: English Publication details: Berlin: Springer, 2008Availability: Items available for loan: Call number: 511.36 KOH/ (1).

Place hold Add to cart
3.
Handbook of mathematical induction : theory and applications

by Gunderson, David S.

Series: Material type: Text Text Publication details: Boca Raton, FL : CRC Press, c2011Availability: No items available : Checked out (1).

Place hold Add to cart
4.
A transition to abstract mathematics : mathematical thinking and writing

by Maddox, Randall B | Maddox, Randall B.

Edition: 2Material type: Text Text Publication details: Amsterdam Boston Academic Press/Elsevier 2009Online access: Not Available Availability: Items available for loan: Call number: 511.36 MAD/T (1).

Place hold Add to cart

Powered by Koha