Normal view
MARC view
- Logic, Symbolic and mathematical
Logic, Symbolic and mathematical Problems, exercises, etc(Topical Term)
Machine generated authority record
Work cat.: (KE-NaSUL)100306: Kossak, Roman, 1953- 139436, The structure of models of Peano arithmetic, 2006.