Functional, normal writing language. Proof operators

Authors

  • Alexandru Zelmer Cluj-Napoca, Romania
Abstract views: 137

Abstract

Not available.

Downloads

Download data is not yet available.

References

Whitehead, A.N., Russell, B., Principia mathematica, Cambridge, 1927.

Bernays, Paul, Axiomatic set theory. Studies in Logic and the Foundations of Mathematics North-Holland Publishing Co., Amsterdam 1958 viii+226 pp., MR0106178.

Dumitriu, A., Logica polivalentă, Bucureşti, 1943 (in Romanian).

Lewis, C.I., Langford, C.H., Symbolic logic, New York, 1951.

Barnes, Donald W., Mack, John M., An algebraic introduction to mathematical logic. Graduate Texts in Mathematics, No. 22. Springer-Verlag, New York-Berlin, 1975. viii+121 pp., MR0389531.

Downloads

Published

1985-08-01

How to Cite

Zelmer, A. (1985). Functional, normal writing language. Proof operators. Anal. Numér. Théor. Approx., 14(2), 171–180. Retrieved from https://ictp.acad.ro/jnaat/journal/article/view/1985-vol14-no2-art11

Issue

Vol. 14 No. 2 (1985)

Section

Articles

License

Copyright (c) 2015 Journal of Numerical Analysis and Approximation Theory

Creative Commons License

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

Open Access. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.