The following pages link to María Manzano (Q484100):
Displayed 21 items.
- Completeness in hybrid type theory (Q484101) (← links)
- Visions of Henkin (Q514560) (← links)
- Item:Q484100 (redirect page) (← links)
- Completeness in equational hybrid propositional type theory (Q2278838) (← links)
- Rigid first-order hybrid logic (Q2303580) (← links)
- Exorcising the phantom zone (Q2672660) (← links)
- Leon Henkin (Q3454796) (← links)
- Henkin on Completeness (Q3454811) (← links)
- April the 19th (Q3454818) (← links)
- Henkin and Hybrid Logic (Q3454819) (← links)
- (Q3722467) (← links)
- (Q3773853) (← links)
- (Q4224293) (← links)
- Alonzo church:his life, his work and some of his miracles (Q4391354) (← links)
- Identity, Equality, Nameability and Completeness (Q4576060) (← links)
- Identity, equality, nameability and completeness. Part II (Q4629288) (← links)
- (Q4858033) (← links)
- Completeness: from Gödel to Henkin (Q4983362) (← links)
- (Q5071241) (← links)
- (Q5173183) (← links)
- Diagonalisation and Church's Thesis: Kleene's Homework (Q5697424) (← links)