Bounded arithmetic, propositional logic, and complexity theory
Propositional calculus /
Aromachológia ako nástroj budovania USP (Unique Selling Proposition) /
Logic : key concepts in philosophy /
Logical writings /
Mathematical Logic.
Mathematical logic /
Computability and logic /
Logic and structure. /
Philosophy of logic /
Matrix logic /
The logic of categories /
The situation in logic /
Informal logic. /
Topaz, proposite and closing stages of formation of the ivigtut cryolite deposit, South Greenland. /
Logical design for computers and control.
Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966 /
Ancient formal logic.
Logic machines and diagrams.
The propositional logic of Boethius.