Normal view
MARC view
Logic programming. (Topical Term)
Machine generated authority record.
Work cat.: (OSt)1142: Rautenberg, Wolfgang. 2873, A concise introduction to mathematical logic, 2010.