Nfsi is not included in nf3

Journal of Symbolic Logic 81 (3):948-950 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2015.29

Links

PhilArchive



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

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

Review: Marcel Boll, Elements de Logique Scientifique; Marcel Boll, Manuel de Logique Scientifique. [REVIEW]Robert Feys - 1950 - Journal of Symbolic Logic 14 (4):266-267.
Review: Marcel Boll, Jacques Reinhart, Logic in France in the Twentieth Century. [REVIEW]Max Black - 1950 - Journal of Symbolic Logic 15 (3):205-205.
Review: Marcel Boll, Les Etapes des Mathematiques. [REVIEW]Alonzo Church - 1949 - Journal of Symbolic Logic 14 (2):126-126.
Review: Marcel Boll, Jacques Reinhart, Histoire de la Logique. [REVIEW]Ignacio Angelelli - 1966 - Journal of Symbolic Logic 31 (2):285-286.
Review: Marcel Boll, Jacques Reinhart, Les Etapes de la Logique. [REVIEW]Max Black - 1949 - Journal of Symbolic Logic 14 (1):55-55.
FDE Circumscription.Daniel Skurt - 2017 - Australasian Journal of Logic 14 (2).
Review: Marcel Barzin, Sur la Portee du Theoreme de M. Godel. [REVIEW]Frederic B. Fitch - 1947 - Journal of Symbolic Logic 12 (1):25-25.
Review: Marcel Barzin, Cours de Logique; Louis Rougier, La Relativite de la Logique. [REVIEW]Alonzo Church - 1946 - Journal of Symbolic Logic 11 (3):100-100.
Boll Marcel. La logique due propositionnelle et la commutation. Automatisme , vol. 3 , pp. 95–101.Theodore Hailperin - 1959 - Journal of Symbolic Logic 24 (3):256-256.
Boll Marcel and Reinhart Jacques. Les étapes de la logique. Presses Universitaires de France, Paris 1946, 128 pp. [REVIEW]Max Black - 1949 - Journal of Symbolic Logic 14 (1):55-55.

Analytics

Added to PP
2018-02-09

Downloads
1 (#1,913,104)

6 months
1 (#1,516,021)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On the reduction of type theory.Marcel Crabbé - 1983 - Mathematical Logic Quarterly 29 (4):235-237.

Add more references