The subject matter is more or less classical, namely, the propositional algebra and the functional calculus of first order, to which is added a chapter summarizing without proofs certain features of functional calculi of higher order.
Ang paksa ay mas marami o mas kaunti pangunahin, namely, ang propositional algebra at calculus ang pagganap ng unang kautusan, na kung saan ay nagdagdag ng isang buod ng kabanata na walang proofs tiyak na mga tampok ng functional calculi ng mas mataas na order.