Title:
Algebraic and proof-theoretic aspects of non-classical logics papers in honor of Daniele Mundici on the occasion of his 60th birthday
Series:
Lecture notes in computer science, 4460. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
Lecture Notes in Computer Science
Lecture Notes in Computer Science Lecture notes in artificial intelligence
Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information
Publication Information:
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Physical Description:
viii, 308 p. : ill., digital ; 24 cm.
ISBN:
9783540759393
9783540759386
General Note:
Available in online version
Subject Term:
Added Corporate Author:
Electronic Access:
Full Text
Genre:
DSP_RESTRICTION_NOTE:
Remote access restricted to users with a valid UTM ID via VPN
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | EB000879 | EB 000879 | Electronic Book | 1:EBOOK | Searching... |