Vue normale
Vue MARC
- Preuve, Théorie de la
Preuve, Théorie de la (Topical Term)
Machine generated authority record.
Work cat.: (IMIST)9983: ISILC Proof Theory Symposion University of Kiel) (1974 : 857, ISILC Proof Theory Symposion :, 1975.

