The following pages link to (Q3845365):
Displaying 9 items.
- Nontabularity of the logic S4 with respect to functional completeness (Q1055758) (← links)
- Introduction to model theory and to the metamathematics of algebra. 2nd ed. (2nd print.). (With a preface by H. Jerome Keisler) (Q1115855) (← links)
- Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication (Q1136752) (← links)
- Facts and the semantics of gerunds (Q1224071) (← links)
- Properties of superintuitionistic propositional calculi (Q1814378) (← links)
- Metamathematics and the Philosophical Tradition (Q4603372) (← links)
- (Q5202655) (← links)
- Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der Rekursiven Unlösbarkeit (Q5553279) (← links)
- On proofs of properties of semirecursive sets (Q6145398) (← links)