Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Computation and Proof Theory - M.M. Richter, E. Borger, Walter Oberschelp, W. Thomas et B. Schinzel

Général

Marque
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 354013901X
MPN
Springer Berlin Heidelberg 7416054

Caractéristiques

Menu