The following pages link to Sergio Galvan (Q1337602):
Displaying 8 items.
- A note on the \(\omega\)-incompleteness formalization (Q1337603) (← links)
- (Q1937962) (redirect page) (← links)
- Optimization methodology assessment for the inlet velocity profile of a hydraulic turbine draft tube. I: Computer optimization techniques (Q1937967) (← links)
- (Q3358714) (← links)
- (Q4453704) (← links)
- A Classical Logic of Existence and Essence (Q5006840) (← links)
- An Introduction to Proof Theory (Q5010232) (← links)
- Analysis of Penrose's second argument formalised in DTK system (Q6484827) (← links)