Sur la logique intuitionniste

Académie Royale de Belgique, Bulletin de la Classe des Sciences 16 (7):957-963 (1930)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,459

External links

  • This entry has no external links. Add one.
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

Marcel Barzin. Sur la portée du théoréme de M. Gõdel. Académie royale de Belgique, Bulletin de la classe des sciences, ser. 5 vol. 26 , pp. 230–239. [REVIEW]Frederic B. Fitch - 1947 - Journal of Symbolic Logic 12 (1):25-25.
Marcel Barzin. Note sur la démonstration de M. E. W. Beth. Académie Royale de Belgique, Bulletin de la classe des sciences, 5 s. vol. 22 , pp. 582–583. [REVIEW]Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):118-118.
Ch. Perelman. L'antinomie de M. Gödel. Académie royale de Belgique, Bulletin de la classe des sciences, 5 s. vol. 22 , pp. 730–736. [REVIEW]S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):40-41.
Léopold Genicot . Les recherches relatives à la noblesse médiévale, dans Académie royale de Belgique, Bulletin de la Classe des Lettres et des Sciences morales et politiques, 1975, 5e sér., t. LXI, pp. 45-68. [REVIEW]Jacques Paquet - 1978 - Revue Belge de Philologie Et D’Histoire 56 (1):271-271.
La philosophie écossaise du sens commun : Thomas Reid et Dugald Stewart, Académie royale de Belgique, mémoires de la classe des Lettres et des Sciences morales et politiques, 2e série, t. LXIV.Evelyne Griffin-Collart - 1983 - Revue de Métaphysique et de Morale 88 (4):565-565.
The psychological enigma of perspective in outline pictures.A. Michotte - 1948 - Bulletin De La Classe des Lettres De l'Academie Royale De Belgique 34:268--88.
A Critical Remark on the BHK Interpretation of Implication.Wagner de Campos Sanz & Thomas Piecha - 2014 - Philosophia Scientiae 18:13-22.
A Critical Remark on the BHK Interpretation of Implication.Wagner de Campos Sanz & Piecha - 2014 - Philosophia Scientiae 18:13-22.

Analytics

Added to PP
2024-11-24

Downloads
0

6 months
0

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

Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
The first axiomatization of relevant logic.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (4):339 - 356.
The development of intuitionistic logic.Mark van Atten - 2008 - Stanford Encyclopedia of Philosophy.
Truth as an Epistemic Notion.Dag Prawitz - 2012 - Topoi 31 (1):9-16.
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references