|
|
Computation and Proof Theory [electronic resource] : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II / edited by Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas. by
- Börger, Egon [editor.]
- Oberschelp, Walter [editor.]
- Richter, Michael M [editor.]
- Schinzel, Brigitta [editor.]
- Thomas, Wolfgang [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Mathematics ; 1104
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
Availability: No items available.
|