Myhill John. A finitary metalanguage for extended basic logic

Journal of Symbolic Logic 20 (1):81-81 (1955)
  Copy   BIBTEX


This article has no associated abstract. (fix it)



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

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

A finitary metalanguage for extended basic logic.John Myhill - 1952 - Journal of Symbolic Logic 17 (3):164-178.
Finitary sketches.J. Adámek, P. T. Johnstone, J. A. Makowsky & J. Rosický - 1997 - Journal of Symbolic Logic 62 (3):699-707.
Eight problems about nerode semirings.T. G. McLaughlin - 1992 - Annals of Pure and Applied Logic 56 (1-3):137-146.
Finitary algebraic logic II.Roger D. Maddux - 1993 - Mathematical Logic Quarterly 39 (1):566-569.
Embedding Classical Logic in Intuitionistic Logic.John Myhill - 1973 - Mathematical Logic Quarterly 19 (3‐6):93-96.
Notes Towards an Axiomatization of Intuitionistic Logic.John Myhill - 1968 - Journal of Symbolic Logic 33 (2):290-290.


Added to PP

14 (#961,492)

6 months
3 (#1,023,809)

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