CS 671: Introduction to Automated Reasoning

Fall 1999

Martin LÍf Lectures

On the meaning of the logical constants and the justifications of the logical laws


The following three lectures were given in the form of a short course at the meeting Teoria della Dimostrazione e Filosofia della Logica, in Siena, 6-9 April 1983, by the Scuola di Specializzazione in Logica Matematica of the UniversitÓ degli Studi di Siena.

 

Martin Lof Lecture 1 - HTML

Martin Lof Lecture 2 - HTML

Martin Lof Lecture 3 - HTML

All 3 Lectures by Martin Lof - Postscript

 

 

Return to Course home page