|
" Logic Colloquium '81 : "
edited by J. Stern
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
656516
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
Logic Colloquium(1981 :, Marseille, France)
|
| Title & Author
|
:
|
Logic Colloquium '81 : : proceedings of the Herbrand symposium held in Marseilles, France, July 1981 /\ edited by J. Stern
|
| Publication Statement
|
:
|
Amsterdam ;New York :: North-Holland Pub. Co. ;New York, N.Y. :: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,, 1982
|
| Series Statement
|
:
|
Studies in logic and the foundations of mathematics ;
|
| Page. NO
|
:
|
xi, 384 p. ;; 23 cm
|
| ISBN
|
:
|
0444864172
|
| Subject
|
:
|
Logic, Symbolic and mathematical-- Congresses
|
| LC Classification
|
:
|
QA9.A1L63 1981
|
| Added Entry
|
:
|
Stern, J., (Jacques),1949-
|
|
|
:
|
Herbrand, Jacques,1908-1931
|
| |