Book

Logic Colloquium '82

by G. Lolli, G. Longo, A. Marcja