LIBERO WebOPAC Catalogue Display (W561)

Catalogue Information
Field name	Details
Dewey Class	511.3 (DDC 22)
Title	Mathematical Problems from Applied Logic I ([Ebook]) : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev
Added Personal Name	Goncharov, Sergei S.
Added Personal Name	Zakharyaschev, Michael
Other name(s)	SpringerLink (Online service)
Publication	New York, NY : Springer , 2006
Physical Details	: v.: digital
Series	International Mathematical Series 1571-5485 ; 4
ISBN	9780387310725
System details note	Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site	http://dx.doi.org/10.1007/0-387-31072-X
Links to Related Works	Subject References: Computer Science . Gabbay, Dov M. . Logic . Logic Design . Logic, Symbolic and mathematical . Logics and Meanings of Programs . Mathematical Logic and Formal Languages . Authors: Goncharov, Sergei S. . Zakharyaschev, Michael . Corporate Authors: SpringerLink (Online service) . Series: International Mathematical Series . Classification: 511.3 (DDC 22) .

Catalogue Display