Normal view
MARC view
Kaye (Personal Name)
Machine generated authority record
Work cat.: (OSt)1528606: Kaye, Models of Peano Arithmetic, 2023