Function Theory in an Axiom-free Equation Calculus

Journal of Symbolic Logic 11 (1):24-26 (1946)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,038

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

The Axiom of Choice in Quantum Theory.Norbert Brunner, Karl Svozil & Matthias Baaz - 1996 - Mathematical Logic Quarterly 42 (1):319-340.
A minimal classical sequent calculus free of structural rules.Dominic Hughes - 2010 - Annals of Pure and Applied Logic 161 (10):1244-1253.
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
Product-free Lambek calculus and context-free grammars.Mati Pentus - 1997 - Journal of Symbolic Logic 62 (2):648-660.
Higher order probabilities and coherence.Soshichi Uchii - 1973 - Philosophy of Science 40 (3):373-381.

Analytics

Added to PP
2015-02-05

Downloads
14 (#991,840)

6 months
1 (#1,473,890)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Wittgenstein and finitism.Mathieu Marion - 1995 - Synthese 105 (2):141 - 176.
On the Concept of Finitism.Luca Incurvati - 2015 - Synthese 192 (8):2413-2436.
A Simple Proof of Parsons' Theorem.Fernando Ferreira - 2005 - Notre Dame Journal of Formal Logic 46 (1):83-91.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references