The New Encyclopædia BritannicaEncyclopædia Britannica, 1983 - Encyclopedias and dictionaries |
From inside the book
Results 1-3 of 38
Page 42
... axiomatic basis consists of : ( 1 ) A list of primitive symbols , together with any definitions that may be thought convenient ; Axiomatic basis and inter- ( 2 ) A set of formation rules , specifying which sequences of pretation symbols ...
... axiomatic basis consists of : ( 1 ) A list of primitive symbols , together with any definitions that may be thought convenient ; Axiomatic basis and inter- ( 2 ) A set of formation rules , specifying which sequences of pretation symbols ...
Page 48
Axiomatic basis and undecid- ability of theorems Monadic LPC and subsystem Special axioms Identity propo- sitions Numerical quanti- fication Definite descrip-. Axiomatization of LPC . Rules of uniform substitu- tion for predicate calculi ...
Axiomatic basis and undecid- ability of theorems Monadic LPC and subsystem Special axioms Identity propo- sitions Numerical quanti- fication Definite descrip-. Axiomatization of LPC . Rules of uniform substitu- tion for predicate calculi ...
Page 56
... Axiomatic Set Theory ( 1969 ) ; fuller accounts are given in PATRICK C. SUPPES , Axiomatic Set Theory ( 1960 ) ; and w.v.o. QUINE , Set Theory and Its Logic ( 1963 ) . For an advanced treatment , see A.A. FRAENKEL , Abstract Set Theory ...
... Axiomatic Set Theory ( 1969 ) ; fuller accounts are given in PATRICK C. SUPPES , Axiomatic Set Theory ( 1960 ) ; and w.v.o. QUINE , Set Theory and Its Logic ( 1963 ) . For an advanced treatment , see A.A. FRAENKEL , Abstract Set Theory ...
Other editions - View all
Common terms and phrases
applied army atoms bearings became become body called cause central centre century church complete connected continued cutting direction Dutch early effect electric electrons energy equal example expressions fact field Figure force France French function gears German give given House important increased industry Italy King known land later load logic London Louis lubricant machines magnetic major material means mechanical ment miles motion move movement natural obtained operations original period political population position possible principles problem produced properties propositions region relations remained result River rotation rule shaft speed square surface temperature theory tion tool towns true turn types United universal usually valid