Páll Ólafur Eggerz

Author

Páll Ólafur Eggerz

Born

1951

University

Ludwig-Maximilians-Universität

Discipline

Stærðfræði

Year

1987 (3/2)

Title

Realisierbarkeitskalüle - ML<sub>o</sub> und vergleichbare Theorien im Verhältnis zur Heyting-Arithmetik