Normal view MARC view

Proof theory Congresses (Topical Term)

Number of records used in: 1
Preferred form: Proof theory Congresses

Machine generated authority record.

Work cat.: ()858867: ISILC Proof Theory Symposion University of Kiel 1974. 980893, ISILC Proof Theory Symposion :, c1975

                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India