Normal view MARC view

Proof theory (Topical Term)

Preferred form: Proof theory

Machine generated authority record.

Work cat.: (OSt)153436: Goldblatt, Robert 139262, Axiomatising the logic of computer programming, 1982

Powered by Koha