Koha online

Normal view MARC view ISBD view

IEEE Computer Society

Logic in Computer Science - New York: IEEE Computer Society, 2000 - 425 p.; Index.: 28 cm.

ISBN: 9780769507255 pbk

Subjects--Topical Terms:
Fifteenth Annual IEEE Symposium
Logic Programming
game semantics
set theory
modality
axiomatization

Dewey Class. No.: 004 / IEE