## The New Encyclopędia Britannica, Part 2, Volume 1Encyclopędia Britannica, 1983 - Encyclopedias and dictionaries |

### From inside the book

Results 1-3 of 42

Page 695

Section 10/12 deals first with formal

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 ...Page 696

Development of mathematical

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 ...Page 699

Discoveries about

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 VerdictFor 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

### Contents

Part One Matter and energy | 17 |

Energy radiation and the states and transformation of matter | 29 |

molecular structure | 36 |

Copyright | |

46 other sections not shown

### Other editions - View all

### Common terms and phrases

activity administration Africa analysis animals articles article sections articles referred arts atomic basic begins behaviour biological cells Central century changes characteristics chemical civil classification communication concept concerning covers cultural deals diseases distribution diverse Division early Earth economic effects elements Empire energy environment establishment European evolution factors fields Finally forms functions goes groups growth headnote human Indian industry influence institutions involved Italy kinds knowledge language learning literature logic major materials measurement mechanisms methods military motion movements nature organization origin outline of subject passim patterns period philosophy physical plants political population practices principles problems processes production properties reactions reforms relation religion religious role sciences sections other references separately social society space structure techniques theory tion treatment treats types various views waves Western