Normal view
MARC view
- Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical. (Topical Term)
Machine generated authority record.
Work cat.: (Ge_NSL)0: Gentzen, Gerhard, 1909- 184567, Die gegenwärtige Lage in der mathematischen Grundlagenforschung., 1969, 1938.