The following pages link to Raymond M. Smullyan (Q354135):
Displaying 50 items.
- Truth and provability (Q354136) (← links)
- Some new double induction and superinduction principles (Q751653) (← links)
- Elementary formal systems (Q774032) (← links)
- Fixed points and self-reference (Q1071010) (← links)
- Uniform self-reference (Q1088657) (← links)
- Some unifying fixed point principles (Q1176099) (← links)
- (Q2626200) (redirect page) (← links)
- Pseudo-uniform reducibility (Q2626201) (← links)
- (Q2964182) (← links)
- A Beginner's Further Guide to Mathematical Logic (Q3181122) (← links)
- Theories with Effectively Inseparable Nuclei (Q3272470) (← links)
- Theory of Formal Systems. (AM-47) (Q3276696) (← links)
- Undecidability and recursive inseparability (Q3279284) (← links)
- Extended Canonical Systems (Q3282932) (← links)
- (Q3310595) (← links)
- (Q3335706) (← links)
- (Q3599164) (← links)
- (Q3604283) (← links)
- (Q3703868) (← links)
- (Q3705451) (← links)
- (Q3869300) (← links)
- TREES AND BALL GAMES (Q3870709) (← links)
- (Q3999021) (← links)
- (Q4003735) (← links)
- (Q4067101) (← links)
- (Q4067102) (← links)
- (Q4220568) (← links)
- (Q4226423) (← links)
- (Q4271268) (← links)
- (Q4274292) (← links)
- (Q4309515) (← links)
- (Q4340909) (← links)
- (Q4428881) (← links)
- (Q4532190) (← links)
- (Q4610460) (← links)
- An Isomorphism Related to Gödel's Fundamental Operations (Q4656545) (← links)
- (Q4692926) (← links)
- (Q4918397) (← links)
- (Q5169493) (← links)
- The Magic Garden of George B and Other Logic Puzzles (Q5251759) (← links)
- Reflections (Q5251762) (← links)
- On Post's canonical systems (Q5344160) (← links)
- Analytic natural deduction (Q5527812) (← links)
- Trees and nest structures (Q5527813) (← links)
- Finite nest structures and propositional logic (Q5527814) (← links)
- (Q5560258) (← links)
- Analytic cut (Q5570912) (← links)
- Effectively Simple Sets (Q5586285) (← links)
- Uniform Gentzen systems (Q5594589) (← links)
- (Q5596743) (← links)
