What people are saying - Write a review
We haven't found any reviews in the usual places.
ON THE PRIMITIVE TERM OF LOGISTIC 1
ON SOME FUNDAMENTAL CONCEPTS
INVESTIGATIONS INTO THE SENTENTIAL
13 other sections not shown
analogous applied arbitrary arithmetic axiom system basis belong Boolean algebra Boolean ring calculus of classes calculus of systems cardinal number Cn(A Cn(X complete concept of consequence connexion consistent construction contains correlate corresponding deductive sciences deductive system deductive theory definition of truth denote dense order discussed element equivalent example expressions fact finite number following conditions formalized languages free variables functors geometry given infinite sequence interpretation intuitive investigations Lemma Lesniewski logically provable Lukasiewicz mathematical matrix mereology metalanguage metamathematical metatheory method names natural number negation notion obtain occur operations particular problem proof of Th properties provable sentences proved real numbers relation rules of inference satisfies the condition satisfies the following satisfies the formula semantical categories sentential calculus sentential function sentential variables set of sentences signs structural symbol Tarski Theorem tion topological space true sentence universal quantification