Methods in mathematical logic

Author Statement

edited by C.A. Di Prisco

Publication

Springer-Verlag

Publication Year

c1985

Collation

vii, 407 p.; 25 cm

Series

Lecture notes in mathematics ; 1130

Notes

Sponsored by Asociaciعon Venezolana para el Avance de la Ciencia (AsoVAC) ... et al

Subject

Logic, Symbolic and mathematical- Congresses

ADDED ENTRIES

Di Prisco, C. A,Asociaciعon Venezolana para el Avance de la Ciencia,Series:Lecture notes in mathematics (Springer-Verlag); 1130

Holding Info.

0387152369

DocumentNumber

23757

SubTitle

: proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983

Biblography

Includes bibliographies

Link To Document