Applied logic

Moss Lawrence S.

Repository | Series | Buch | Kapitel

Applied logic

a manifesto

Lawrence S. Moss

pp. 317-343

Publication details

Published in:

Gabbay Dov M., Goncharov Sergei, Zakharyaschev Michael (2006) Mathematical problems from applied logic I: logics for the XXIst century. Dordrecht, Springer.

Seiten: 317-343

DOI: 10.1007/0-387-31072-X_7

Referenz:

Moss Lawrence S. (2006) „Applied logic: a manifesto“, In: D. M. Gabbay, S. Goncharov & M. Zakharyaschev (eds.), Mathematical problems from applied logic I, Dordrecht, Springer, 317–343.