scholarly journals Structured theories in LCF

1983 ◽  
pp. 377-391 ◽  
Author(s):  
D. T. Sannella ◽  
R. M. Burstall
Sign in / Sign up

Export Citation Format

Share Document