511.3 / L829
Logic Colloquium '84 : proceedings...
/ edited by J.B. Paris and A.J. Wilkie
.- Amsterdam: North-Holland, 1986
.- x,377p.
.- ( Studies in logic and the foundations of mathematics ; vol.120
ISBN: 0444879994
Subject Headings:
Logic, Symbolic And Mathematical -- Cong;
Author Added Entry:
Paris, J.B [ed.];
Wilkie, A.J [ed.];
Copy Details:
Acc. No.: A93379, Full Call No.: 511.3 L829, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------