Basic propositional logic
Published in Cambridge University Press eBooks • Nov 24, 1995
Authors:
Jan Krajı́ček
Abstract
This chapter will present basic propositional calculus. By that I mean properties of propositional calculus established by direct combinatorial arguments as distinguished from high level arguments involving concepts (or motivations) from other parts of logic (bounded arithmetic) and complexity theor...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!