Inlägg

Symbolisk logik enligt Prawitz [Filosofisk Kalender 1:625-630]

System och verklighetsbeskrivning [Filosofisk Kalender 1:96-97]

Bevis, maskin och människa [Filosofisk Kalender 1:62]