Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday

Contributor(s): | Aguzzoli, Stefano...[et al.] | Aguzzoli, Stefano...[et al.]Language: English Series: Lecture notes in artificial intelligence ; v.4460 , Lecture notes in computer sciencePublication details: Berlin ; Springer ; 2007Edition: Description: viii,309 p; 23.5 cmISBN: 978--3-540-75936-6Subject(s): | Computer Science and Engineering | Mundici, Daniele, 1946-Nonclassical mathematical logic , Logic, Symbolic and mathematical , Proof theory-Congresses , Abelian groups-Congresses
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
Compact Storage - Basement Area 		681.3:517.1Alg Available G54A07 215212
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha