Pages that link to "Leon Henkin"
Jump to navigation
Jump to search
The following pages link to Leon Henkin:
Displaying 14 items.
- Gödel's completeness theorem (← links)
- Universal algebra (← links)
- Second-order logic (← links)
- Transfer principle (← links)
- Skolem's paradox (← links)
- Branching quantifier (← links)
- Association for Symbolic Logic (← links)
- Cylindric algebra (← links)
- Andrzej Grzegorczyk (← links)
- Witness (mathematics) (← links)
- ST type theory (← links)
- Gisbert Hasenjaeger (← links)
- Quantifier (logic) (← links)
- Testwiki:Reference desk/Archives/Mathematics/2023 October 18 (← links)