On the Formalization of Scientific Theories

Authors

  • Igor D. Zaslavsky Institute for Informatics and Automation Problems of NAS RA

Abstract

N/A

References

David Hilbert. Grundlagen der Geometrie, Siebente Auflage, Leipzig und Berlin, 1930.

D. Hilbert und P. Bernays. Grundlagen der Mathematik I, Zweite Auflage, Springer-Verlag, Berlin-Heidelberg-New York, 1968.

H. Enderton. A Mathematical Introduction to Logic, 2nd ed., San Diego, Harcourt, Academic Press, 2001.

Downloads

Published

2021-12-10

How to Cite

Zaslavsky, I. D. (2021). On the Formalization of Scientific Theories. Mathematical Problems of Computer Science, 38, 91–92. Retrieved from http://mpcs.sci.am/index.php/mpcs/article/view/577

Issue

Vol. 38 (2012): Mathematical Problems of Computer Science

Section

Conference papers

License

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.