Logic Colloquium '96by J. M. Larrazabal, D. Lascar, Grigori MintsLogic, symbolic and mathematicalWriting a summary for young readers…For young readersBook data: Open Library