View source for Formalization method
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 Formalization method.
How to Cite This Entry:
Formalization method. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Formalization_method&oldid=17646
Formalization method. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Formalization_method&oldid=17646
This article was adapted from an original article by S.N. Artemov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article