The Kleene Symposium: Proceedings of a Symposium Held June 18-24, 1978 at Madison, Wisconsin, Usa

, & (eds.)
Amsterdam, Netherlands: North-Holland (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.6.K53 1978

ISBN(s)

9780444853455   0444853456

Links

PhilArchive



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

External links

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

Through your library

My notes

Chapters

Frege Structures and the notions of proposition, truth and set.Peter Aczel
Frege structures and the notions of truth and proposition.P. Aczel
The role of finite automata in the development of modern computing theory.Robert L. Constable
Principles of mechanisms.R. O. Gandy

Similar books and articles

The Kleene Symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.Stephen Cole Kleene, Jon Barwise, H. Jerome Keisler & Kenneth Kunen (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
The Kleene Symposium.Robin Gandy - 1980 - North-Holland.
Church's Thesis and Principles for Mechanisms.Robin Gandy - 1980 - In The Kleene Symposium. North-Holland. pp. 123--148.
From semirings to residuated Kleene lattices.Peter Jipsen - 2004 - Studia Logica 76 (2):291 - 303.
Frege Structures and the notions of proposition, truth and set.Peter Aczel - 1980 - Journal of Symbolic Logic 51 (1):244-246.
The mathematical work of S. C. Kleene.J. R. Shoenfield & S. C. Kleene - 1995 - Bulletin of Symbolic Logic 1 (1):8-43.
Coproducts in the categories of Kleene and three-valued łukasiewicz algebras.Roberto Cignoli - 1979 - Studia Logica 38 (3):237 - 245.
Kleene's three valued logics and their children.Melvin Fitting - unknown
Kleene's logic, generalized.Melvin Fitting - unknown
A Mechanization of Strong Kleene Logic for Partial Functions.Manfred Kerber Michael Kohlhase - unknown
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.
Diagonalisation and Church's Thesis: Kleene's Homework.Enrique Alonso & Maria Manzano - 2005 - History and Philosophy of Logic 26 (2):93-113.

Analytics

Added to PP
2011-07-18

Downloads
7 (#1,310,999)

6 months
3 (#880,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The broad conception of computation.Jack Copeland - 1997 - American Behavioral Scientist 40 (6):690-716.
Russell's 1903 - 1905 Anticipation of the Lambda Calculus.Kevin Klement - 2003 - History and Philosophy of Logic 24 (1):15-37.

Add more citations

References found in this work

No references found.

Add more references