Barbara Veit

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1981

1 Barbara Veit: A Proof of the Associated Sheaf Theorem by Means of Categorical Logic. J. Symb. Log. 46(1): 45-55 (1981)