Peano's smart children. A provability logical study of systems with built-in consistency

DSpace/Manakin Repository

Visser, A.

(1986) Logic Group Preprint Series, volume 14

(Preprint)

Download/Full Text

See more statistics about this item