Correction to `a model theoretic characterisation of effective operations'

Journal of Symbolic Logic 39 (2):225 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272634

Links

PhilArchive



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

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

A model theoretic characterization of effective operations.M. H. Löb - 1970 - Journal of Symbolic Logic 35 (2):217 - 222.
M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 , pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 , pp. 63–75. [REVIEW]Charles Parsons - 1970 - Journal of Symbolic Logic 35 (1):150-150.
M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 (1953), pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 (1956), pp. 63–75. [REVIEW]H. Hermes & H. A. Pogorzelski - 1970 - Journal of Symbolic Logic 35 (1):150-150.
Review: Michael Morley, M. H. Lob, Partitions and Models. [REVIEW]Wilfrid Hodges - 1974 - Journal of Symbolic Logic 39 (1):182-183.
Löb M. H.. Concatenation as basis for a complete system of arithmetic.Charles Parsons - 1970 - Journal of Symbolic Logic 35 (1):150.
M. H. Löb. Solution of a problem of Leon Henkin. The journal of symbolic logic, vol. 20 , pp. 115–118.C. F. Kent - 1971 - Journal of Symbolic Logic 36 (3):528-529.
Review: M. H. Lob, Extensional Interpretations of Modal Logics. [REVIEW]David Makinson - 1971 - Journal of Symbolic Logic 36 (4):692-692.
M. H. Löb. Extensional interpretations of modal logics. The journal of symbolic logic, vol. 31 , pp. 23–45.David Makinson - 1971 - Journal of Symbolic Logic 36 (4):692.
A. H. Lachlan. Effective operations in a general setting. The journal of symbolic logic, vol. 29 no. 4 , pp. 163–178.J. R. Shoenfield - 1966 - Journal of Symbolic Logic 31 (4):654.
A Lattice-Theoretic Characterisation of Three-Valued Logic.Alan Rose - 1951 - Journal of Symbolic Logic 16 (2):151-151.

Analytics

Added to PP
2009-01-28

Downloads
5 (#1,560,957)

6 months
2 (#1,259,303)

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