Handbook of philosophical logic. Vol. I: Elements of classical logic
From MaRDI portal
Publication:792991
zbMath0538.03001MaRDI QIDQ792991
No author found.
Publication date: 1983
Published in: Synthese Library (Search for Journal in Brave)
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Classical propositional logic (03B05) Computability and recursion theory (03Dxx) Dictionaries and other general reference works (00A20)
Related Items
THE QUANTIFIED ARGUMENT CALCULUS, The quantified argument calculus with two- and three-valued truth-valuational semantics, Logic and reasoning: do the facts matter?, A relational formulation of the theory of types, Alonzo church:his life, his work and some of his miracles, Unifying Reducts in Formal Concept Analysis and Rough Set Theory, Experimenting with Isabelle in ZF set theory, A computational procedure for variable selection preserving different initial conditions
