second ordercircumscriptionaxiomconformstotruthinpredicateminimalmodelsmccarthy1986 published presentations and documents on DocSlides.