Zoekresultaten
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
-
1
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II /
Gepubliceerd in 1984Conferentie akten Boek