Proceedings of the Third Scandinavian Logic SymposiumStig Kanger North-Holland, 1975 - 214 pagine |
Dall'interno del libro
11 pagine corrispondenti a object of type in questo libro
Dov'è il resto di questo libro?
Risultati 1-3 di 11
Altre edizioni - Visualizza tutto
Parole e frasi comuni
3x Fx a₁ algebra arbitrary Assume atomic formulas attributive constituents axiom B₁ boolean C₁ Cd+e chain permutation closure completeness results conservative extension consistent triple constants continuous function conv corresponding countable defined definitional equality derivation elementary elements equivalent existential quantification extension finite first-order first-order logic formula-expression function f generalise given growth function Hence Hintikka implies index grammar individuals induction integers interpretation intuitionistic irreflexive Kanger Kripke frame L-system L₁ LAMBDA LAMBDA-definable language Lemma Math modal logic natural numbers notion p-morphism P₁ pair predicate predicate logic primitive recursive function proof Proposition prove Q-fan quantifiers Qx Fx R-function recursion theory reflexive relation satisfies schema second order Segerberg semantics sequence subset Suppose term-expression Theorem theory tion topology transitive trees trees type Obj type symbol type Typ ultralimit variables Vx Fx x₁