Victor Harnik (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

9 Victor Harnik, Michael Makkai: Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability. J. Symb. Log. 57(1): 200-230 (1992)

3 Victor Harnik, Michael Makkai: Applications of Vaught Sentences and the Covering Theorem. J. Symb. Log. 41(1): 171-187 (1976)

Selection of 2 from 9 records - Victor Harnik has 1 coauthors

9		Victor Harnik, Michael Makkai: Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability. J. Symb. Log. 57(1): 200-230 (1992)
3		Victor Harnik, Michael Makkai: Applications of Vaught Sentences and the Covering Theorem. J. Symb. Log. 41(1): 171-187 (1976)