Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
This volume collects written versions of invited and contributed talks presented at the conference. It covers many areas of logic and the foundations of mathematics, as well as computer science.