Logic Colloquium '80. /
Logic Colloquium '80. /
D Van Dalen; T J Smiley; D Lascar editor.
- Burlington : Elsevier Science, 1982.
- x, 342 pages : illustrations ; 22 cm.
- Studies in logic and the foundations of mathematics. .
Includes index.
0444864652
Logic
511.3 / LOG 1982
Includes index.
0444864652
Logic
511.3 / LOG 1982