$a Kp. Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 / ed. by Angus Macintyre, Leszek Pacholski, Jeff Paris. - Amsterdam, 1978.
670
$a LCC online
670
$a Analyzable functions and applications / O. Costin, M. D. Kruskal, A. Macintyre, eds. - Providence, cop. 2005.