The general decision problem for Markov algorithms with axiom

Notre Dame Journal of Formal Logic 16 (2):208-216 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891701

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

Decision problem in the classical logic.Eugen Mihăilescu - 1967 - Notre Dame Journal of Formal Logic 8 (3):239-253.
The decision problem for linear temporal logic.John P. Burgess & Yuri Gurevich - 1985 - Notre Dame Journal of Formal Logic 26 (2):115-128.
Church's theorem on the decision problem.Thomas E. Patton - 1965 - Notre Dame Journal of Formal Logic 6 (2):147-153.
Approximation to a decision procedure for the halting problem.Michael Anderson - 1968 - Notre Dame Journal of Formal Logic 9 (4):305-312.
An equivalent of the axiom of choice in finite models of the powerset axiom.Alexander Abian & Wael A. Amin - 1990 - Notre Dame Journal of Formal Logic 31 (3):371-374.
The dependence of a mereological axiom.Robert E. Clay - 1970 - Notre Dame Journal of Formal Logic 11 (4):471-472.
Studies on the axiom of comprehension.Th Skolem - 1963 - Notre Dame Journal of Formal Logic 4 (3):162-170.
The axiom of choice in topology.Norbert Brunner - 1983 - Notre Dame Journal of Formal Logic 24 (3):305-317.
The dependence of a mereological axiom.Robert E. Clay - 1970 - Notre Dame Journal of Formal Logic 11:471.
Awkward axiom-systems.Bolesław Sobociński - 1978 - Notre Dame Journal of Formal Logic 19 (2):315-320.

Analytics

Added to PP
2010-08-24

Downloads
10 (#1,207,573)

6 months
1 (#1,722,767)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references