Our research
Connections
Careers
About us
Microsoft Translator
|
All
Downloads
Events
Groups
News
People
Projects
Publications
Videos
A Relevant Analysis of Natural Deduction
S Ishtiaq and DJ Pym
1998
In
Journal of Logic and Computation
Details
Type
Article
Related People
Samin Ishtiaq
Share
>
Publications
>
A Relevant Analysis of Natural Deduction
