Proceedings of the Logic Colloquium. Held in Aachen, July 18-23 1983: Part 2: Computation and Proof Theory

Bibliographische Detailangaben

Hauptverfasser:	Richter, M. M, Börger, E, Oberschelp, W, Schinzel, B, Thomas, W
Format:	Buch
Sprache:	eng
Schlagworte:	Logic, Symbolic and mathematical-Congresses
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!