Syntaktische Abgrenzungen von formalen Systemen der Pi-Analysis und Delta -Analysis:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Buchholz, Wilfried (VerfasserIn), Schütte, Kurt (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: München Verl.d.Bayer.Akad.d.Wiss. 1981
Schriftenreihe:Bayerische Akademie der Wissenschaften <München>. Mathematisch-Naturwissenschaftliche Klasse: Sitzungsberichte. 1980,1
Online-Zugang:Volltext
Beschreibung:35 S.
ISBN:3769635809

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen