Logic Seminar Abstracts

Nikolaj Bjorner (Kestrel)
Presentation of Ch. 6 of "Vicious Circles"

We are continuing our working seminar on the Barwise-Moss book, "Vicious Circles". Ch.6 is the first technical chapter following the background and motivational chapters of Parts I and II of the book.

Last modified: Thu Jan 7 23:53:08 PST 1999