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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andres R. Raggio