Došen Kosta. Deductive completeness. The bulletin of symbolic logic, vol. 2 (1996), pp. 243–283.
Lambek, J.Volume:
63
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2586736
Date:
September, 1998
File:
PDF, 316 KB
english, 1998