On Stop-Conditions in the Definitions of Constructive Languages

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (1):61-73 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

original Friš, Ivan (1965) "On Stop‐Conditions in the Definitions of Constructive Languages". Mathematical Logic Quarterly 11(1):61-73

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

On Stop‐Conditions in the Definitions of Constructive Languages.Ivan Friš - 1965 - Mathematical Logic Quarterly 11 (1):61-73.
α Logic and Infinitary Languages.Newton C. A. da Costa & Charles C. Pinter - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):105-112.

Analytics

Added to PP
2016-02-04

Downloads
26 (#863,747)

6 months
2 (#1,696,787)

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