Problems in symbolic logic

Journal of Symbolic Logic 21 (2):215-215 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s002248120008525x

Links

PhilArchive



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

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

Myhill J.. Problems arising in the formalization of intensional logic. Logique et analyse, n.s. vol. 1 , pp. 74–83.Bede Rundle - 1972 - Journal of Symbolic Logic 37 (1):180-180.
Review: Martin Davis, Arithmetical Problems and Recursively Enumerable Predicates. [REVIEW]John Myhill - 1953 - Journal of Symbolic Logic 18 (4):341-342.
Introduction to the basic concepts and problems of modern logic.Gisbert Hasenjaeger - 1972 - Dordrecht-Holland,: D. Reidel Pub. Co..
Review: Edmund C. Berkeley, Symbolic Logic. Twenty Problems and Solutions. [REVIEW]Alfons Borgers - 1955 - Journal of Symbolic Logic 20 (3):287-288.
Symbolic Logic. Twenty Problems and Solutions.Edmund C. Berkeley - 1955 - Journal of Symbolic Logic 20 (3):287-288.
Symbolic logic.John Venn - 1894 - New York,: B. Franklin.
Problems in symbolic logic.Hao Wang - 1953 - Journal of Symbolic Logic 18 (2):186-186.
Symbolic Logic Study Guide (a textbook).Xinli Wang - 2009 - University Readers.
The problems of logic.Andrew Paul Ushenko - 1941 - London,: Allen & Unwin.
Eight problems about nerode semirings.T. G. McLaughlin - 1992 - Annals of Pure and Applied Logic 56 (1-3):137-146.
A survey of propositional realizability logic.Valery Plisko - 2009 - Bulletin of Symbolic Logic 15 (1):1-42.
Some problems in logical model-theory.Lars Svenonius - 1960 - Lund,: CWK Gleerup.
Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic.Evert Willem Beth - 2012 - Dordrecht, Netherland: Springer Verlag.
Berkeley Edmund C.. Symbolic logic. Twenty problems and solutions. Photo-offset from typewritten manuscript. Edmund C. Berkeley and Associates, New York 1952, ii + 28 pp. [REVIEW]Alfons Borgers - 1955 - Journal of Symbolic Logic 20 (3):287-288.
Reviewed Work(s): A new spectrum of recursive models using an amalgamation construction. The Journal of Symbolic Logic, vol. 73 by Uri Andrews; A computable N₀-categorical structure whose theory computes true arithmetic. The Journal of Symbolic Logic, vol. 72 by Bakhadyr Khoussainov; Antonio Montalbán. [REVIEW]Alexander G. Melnikov - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.

Analytics

Added to PP
2016-06-30

Downloads
8 (#1,283,306)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Maximal alpha-r.e. sets and their complements.Anne Leggett - 1974 - Annals of Mathematical Logic 6 (3/4):293.

Add more citations

References found in this work

No references found.

Add more references