Jonathan Fleischmann. Syntactic Preservation Theorems for Intuitionistic Predicate Logic. Notre Dame Journal of Formal Logic, 51(2):225-245, 2010. [doi]
@article{Fleischmann10-0,
title = {Syntactic Preservation Theorems for Intuitionistic Predicate Logic},
author = {Jonathan Fleischmann},
year = {2010},
url = {http://projecteuclid.org/euclid.ndjfl/1276284784},
tags = {logic},
researchr = {https://researchr.org/publication/Fleischmann10-0},
cites = {0},
citedby = {0},
journal = {Notre Dame Journal of Formal Logic},
volume = {51},
number = {2},
pages = {225-245},
}