Arithmetic as a study of formal systems

Notre Dame Journal of Formal Logic 16 (4):449-464 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Analytics

Added to PP
2010-08-24

Downloads
34 (#451,272)

6 months
2 (#1,212,069)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

From Curry to Haskell.Felice Cardone - 2020 - Philosophy and Technology 34 (1):57-74.
Curry’s Formalism as Structuralism.Jonathan P. Seldin - 2011 - Logica Universalis 5 (1):91-100.

Add more citations

References found in this work

No references found.

Add more references