Troelstra A. S.. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium, edited by Fenstad J. E., North-Holland Publishing Company, Amsterdam and London 1971, pp. 369–405 [Book Review]

Journal of Symbolic Logic 40 (4):625-625 (1975)
  Copy   BIBTEX


This article has no associated abstract. (fix it)



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

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

Analyzing realizability by Troelstra's methods.Joan Rand Moschovakis - 2002 - Annals of Pure and Applied Logic 114 (1-3):203-225.
Finite Sets and Natural Numbers in Intuitionistic TT.Daniel Dzierzgowski - 1996 - Notre Dame Journal of Formal Logic 37 (4):585-601.
Equivalents of the (weak) fan theorem.Iris Loeb - 2005 - Annals of Pure and Applied Logic 132 (1):51-66.


Added to PP

19 (#803,690)

6 months
6 (#530,055)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references