A note on Prior's systems in "The theory of deduction".

Boleslaw Sobocinski

Published in: Notre Dame J. Formal Log. (1964)

Keyphrases

management system
data sets
expert systems
computer systems
formal methods
social networks
information systems
distributed systems
theoretical basis