Andres R. Raggio

Available identifiers

zbMath Open raggio.andres-rMaRDI QIDQ1843553

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3775515	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3726078	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3333006	1983-01-01	Paper
Die Rolle der Analogie in Bernays' Philosophie der Mathematik	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4187816	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4165378	1977-01-01	Paper
A simple proof of Herbrand's theorem	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3214881	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5606557	1970-01-01	Paper
Propositional sequence-calculi for inconsistent systems	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5567835	1965-01-01	Paper
Direct consistency proof of Gentzen's system of natural deduction	1964-01-01	Paper

Research outcomes over time

This page was built for person: Andres R. Raggio