Proof theory : the first step into impredicativity

By: Pohlers, WolframContributor(s): Language: English Series: UniversitextPublication details: Berlin ; Springer ; 2009Edition: Description: ix,370 p; 23.5 cmISBN: 978-3-540-69318-5Subject(s): | Mathematics | Proof theory , Logic, Symbolic and mathematical
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
517.1Poh Available G10A16 222194
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha