Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 / Edited by H. E. Rose and J. C. Shepherdson.
Uniform Title: | Studies in logic and the foundations of mathematics ;
v. 80. |
---|---|
Corporate Author: | Logic Colloquium Bristol |
Other Authors: |
Rose, H. E. Shepherdson, J. C. |
Language: | English |
Published: |
Amsterdam : New York :
North-Holland Pub. Co. ; American Elsevier Pub. Co.,
1975.
|
Series: | Studies in logic and the foundations of mathematics ;
v. 80. |
Subjects: | |
Genre: | |
Physical Description: | viii, 513 pages ; 23 cm. |
Format: | Conference Proceeding Book |