Mathematical problems from applied logic II logics for the XXIst century

SubTitle

logics for the XXIst century

Author Statement

edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.Logics for the XXIst century

Publication

Springer

Publication Year

c2007

Collation

xxix, 351 p. ill. 25 cm

Series

International mathematical series

Notes

Includes bibliographical references and index

Subject

Logic, Symbolic and mathematical

ADDED ENTRIES

Gabbay, Dov M., , Goncharov, S. S. , Zakharyaschev, Michael.

Main class

511.3

Link To Document