On Play by Means of Computing Machines .A Theory of Higher Order Probabilities.Knowledge and Efficient Computation.Realizability Semantics for Error-Tolerant Logics [Book Review]

Journal of Symbolic Logic 53 (2):669 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,252

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

A Consistent Set of Infinite-Order Probabilities.David Atkinson & Jeanne Peijnenburg - 2013 - International Journal of Approximate Reasoning 54:1351-1360.
The Evaluation of Method.Keith Lehrer - 1981 - Grazer Philosophische Studien 12 (1):131-141.
Semantics of Information as Interactive Computation.Gordana Dodig-Crnkovic - 2008 - Proceedings of the Fifth International Workshop on Philosophy and Informatics 2008.
Axiomatizing higher-order Kleene realizability.Jaap van Oosten - 1994 - Annals of Pure and Applied Logic 70 (1):87-111.
Real Computation.Georg Philipp Schwarz - 1995 - Dissertation, University of California, San Diego
Abstract Valuation Semantics.Carlos Caleiro & Ricardo Gonçalves - 2013 - Studia Logica 101 (4):677-712.

Analytics

Added to PP
2015-02-05

Downloads
41 (#371,653)

6 months
18 (#129,673)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Haim Gaifman
Columbia University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references