Sergio Galvan

Available identifiers

zbMath Open galvan.sergioMaRDI QIDQ1337602

List of research outcomes

Publication	Date of Publication	Type
Analysis of Penrose's second argument formalised in DTK system	2022-09-21	Paper
An Introduction to Proof Theory	2021-08-24	Paper
A Classical Logic of Existence and Essence	2021-08-17	Paper
Optimization methodology assessment for the inlet velocity profile of a hydraulic turbine draft tube. I: Computer optimization techniques	2013-02-01	Paper
https://portal.mardi4nfdi.de/entity/Q4453704	2004-03-07	Paper
A note on the \(\omega\)-incompleteness formalization	1994-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q3358714	1988-01-01	Paper

Research outcomes over time

This page was built for person: Sergio Galvan