Normal view
MARC view
Logic,Symbolic and mathematical Collected works(Topical Term)
Machine generated authority record.
Work cat.: (ARRUPE): Kurt Godel Collected works, 1986