View source for Natural logical deduction
You do not have permission to edit this page, for the following reasons:
You can view and copy the source of this page.
Template used on this page:
Return to Natural logical deduction.
How to Cite This Entry:
Natural logical deduction. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Natural_logical_deduction&oldid=13540
Natural logical deduction. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Natural_logical_deduction&oldid=13540
This article was adapted from an original article by S.Yu. Maslov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article