Results 1-3 of 42
Section 10/12 deals first with formal logic , treating the propositional calculus , the predicate calculus , the theory of the syllogism , modal logic , and set theory and natural - number arithmetic . It goes on to the nature and ...
Development of mathematical logic in the 19th century : expansions of syllogistic ; Boole's algebra of logic ; refinements of the calculus ; the study by Frege and Cantor of the relation between logic and the foundations of mathematics ...
Discoveries about logical calculi a . The consistency , completeness , and decidability of the propositional calculus b . The consistency , completeness , and undecidability of the predicate calculus 5. Model theory : the study of the ...
What people are saying - Write a review
The New Encyclopaedia Britannica (Encyclopaedia)User Review - Not Available - Book Verdict
For virtually all its 238 years,Britannica has ruled the shelves as a peerless general encyclopedia. Reviewers have consistently given it high marks for most of the 12 criteria identified inKister's ... Read full review
Part One Matter and energy
Energy radiation and the states and transformation of matter
46 other sections not shown