Selected Logic PapersRandom House, 1966 - 250 Seiten A collection of 23 papers on mathematical logic covering such subjects as set theory, proof theory, truth functions, techniques of deduction, and other topics, written between 1934 and 1960. |
Inhalt
Whitehead and the Rise of Modern Logic 1941 | 3 |
Logic Symbolic 1954 | 37 |
A Method of Generating Part of Arithmetic With | 52 |
Urheberrecht | |
13 weitere Abschnitte werden nicht angezeigt.
Andere Ausgaben - Alle anzeigen
Häufige Begriffe und Wortgruppen
A-formula a₁ abstraction algebra alternation arithmetic atoms attributes axiom axiom of infinity Boolean function calculus called cardinal number clause concatenation consistent construed defined definition derivable elementary elementhood elements equivalent existence prefixes existential expressions F Ɔ finite follows free variables Frege functional normal form hence identity implies infinite interpretation irredundant Journal of Symbolic Lemma lexical instances Mathematical Logic matrices medadically metatheorems method monadic monadic schema natural numbers negation notation notion null class ordered pair ordinal Ɔ F Ɔ p Ɔ Ɔ q Ɔ paper paradox parentheses Peano phrase equation positive integers prime implicants Principia principle Proof propositional calculus proved quantification theory recursive relation Russell's Russell's paradox schemata sequence set theory statements substitution subsumes Symbolic Logic T-theorem Tarski theorem theory of types tion translation true truth functions truth table truth values Universal Algebra universal quantifiers valid w-inconsistency
Verweise auf dieses Buch
Set Theory with a Universal Set: Exploring an Untyped Universe T. E. Forster Keine Leseprobe verfügbar - 1995 |