The following pages link to Sidney C. Bailin (Q751643):
Displayed 8 items.
- A \(\lambda\)-unifiability test for set theory (Q751644) (← links)
- \({\mathcal Z}\)-match: An inference rule for incrementally elaborating set instantiations (Q1319387) (← links)
- Errata to: ``\(Z\)-match: An inference rule for incrementally elaborating set instantiations'' (Q1340969) (← links)
- Retraction of: “A normalization theorem for set theory” (Q3173543) (← links)
- (Q4436013) (← links)
- (Q4536770) (← links)
- (Q4548194) (← links)
- A normalization theorem for set theory (Q4732467) (← links)