Hilbertian Deductive Systems, Infon Logic, and Datalog

Andreas Blass, Yuri Gurevich, The Logic in Computer Science Column, by Y. Gurevich

Abstract


Hilbertian Deductive Systems, Infon Logic, and Datalog

Full Text:

PDF

Refbacks

  • There are currently no refbacks.