id: 50159347
dt: j
an: 50159347
au: Weaver, George
ti: Unifying some modifications of the henkin construction
so: Notre Dame Journal of Formal Logic 33, No. 3, 450-460 (1992).
py: 1992
pu: 
la: EN
cc: 
ut: 
ci: 
li: http://projecteuclid.org/euclid.ndjfl/1093634409