id: 04195904
dt: a
an: 04195904
au: Fitting, Melvin
ti: Intuitionistic resolution.
so: Mathematical foundations, Proc. Meet., Siena/Italy 1987, Atti Incontri
    Logica Mat. 4, 59-62 (1988).
py: 1988
pu: 
la: EN
cc: 
ut: resolution-style theorem-prover for propositional intuitionistic logic
ci: Zbl 0724.00008
li: 
ab: [For the entire collection see Zbl 0724.00008.] The author presents a
    resolution-style theorem-prover for propositional intuitionistic logic.
rv: