On Stop‐Conditions in the Definitions of Constructive Languages

Mathematical Logic Quarterly 11 (1):61-73 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19650110107

Other Versions

reprint Friš, Ivan (1965) "On Stop-Conditions in the Definitions of Constructive Languages". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11(1):61-73

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,423

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

Mutual Transformability of The Formulas of The Basic Languages of Constructive Mathematical Logic.F. W. Gorgy & A. H. Sahyoun - 1981 - Mathematical Logic Quarterly 27 (31-35):489-494.
Mutual Transformability of The Formulas of The Basic Languages of Constructive Mathematical Logic.F. W. Gorgy & A. H. Sahyoun - 1981 - Mathematical Logic Quarterly 27 (31‐35):489-494.
Constructive and Locally Constructive Endofunctors on the Category of Enumerated Sets.Andrzej Orlicki - 1987 - Mathematical Logic Quarterly 33 (4):371-384.
A Constructive Proof of a Theorem in Relevance Logic.Aleksandar Kron - 1985 - Mathematical Logic Quarterly 31 (25‐28):423-430.
Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.Victor Pambuccian - 2001 - Mathematical Logic Quarterly 47 (1):129-136.
Constructive Methods of Numeration.Arthur H. Kruse - 1962 - Mathematical Logic Quarterly 8 (1):57-70.
Constructive Well‐Orderings.Robin J. Grayson - 1982 - Mathematical Logic Quarterly 28 (33‐38):495-504.
Introduction to Mathematical Logic, Edition 2021.Vilnis Detlovs & Karlis Podnieks - manuscript
Rings and Fields, a Constructive View.Daniel A. Romano - 1988 - Mathematical Logic Quarterly 34 (1):25-40.

Analytics

Added to PP
2013-11-24

Downloads
11 (#1,427,285)

6 months
4 (#1,269,568)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.

Add more references