Łoś Jerzy. Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1955, S. 98–113 [Book Review]

Journal of Symbolic Logic 25 (2):168-168 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964232

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Wang Hao. On denumerable bases of formal systems. Mathematical interpretation of formal systems. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1955, pp. 57–84. [REVIEW]Clifford Spector - 1957 - Journal of Symbolic Logic 22 (3):292-293.
Hasenjaeger G.. On definability and derivability. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1955, pp. 15–25. [REVIEW]Thomas Frayne - 1959 - Journal of Symbolic Logic 24 (2):171-172.
Skolem Th.. Peano's axioms and models of arithmetic. Mathematical Interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1955, pp. 1–14. [REVIEW]Solomon Feferman - 1957 - Journal of Symbolic Logic 22 (3):306-306.
Robinson Abraham. Ordered structures and related concepts. Mathematical interpretation of formai systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, 1955, pp. 51–56. [REVIEW]W. Peremans - 1960 - Journal of Symbolic Logic 25 (2):170-170.
Moody Ernest A.. Truth and consequence in mediaeval logic. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1953, VIII + 113 pp. [REVIEW]Philotheus Boehner - 1955 - Journal of Symbolic Logic 20 (1):44-45.
Reviews. Alfred Tarski. Preface. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. VIII–IX. Alfred Tarski. A general method in proofs of undecidability. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 3–35. Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and essential undecidability in arithmetic. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 39–74. Alfred Tarski. Undecidability of the elementary theory of groups. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 77–87. Bibliography. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 89–91. Index. Undecidable theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
Tarski A.. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by Arnold Schmidt H., Schütte K., and Thiele H.-J., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 275–288. [REVIEW]Ralph Seifert - 1971 - Journal of Symbolic Logic 36 (1):161-162.
Wang Hao. Different axiom systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 383–431. [REVIEW]Steven Orey - 1964 - Journal of Symbolic Logic 29 (4):208-208.
Wang Hao. Some partial systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 507–534. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):100-101.
Wang Hao. Some formal details on predicative set theories. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 585–623. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):250-250.

Analytics

Added to PP
2013-11-22

Downloads
27 (#814,469)

6 months
6 (#825,551)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Stevin Numbers and Reality.Karin Usadi Katz & Mikhail G. Katz - 2012 - Foundations of Science 17 (2):109-123.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references