The Journal of Symbolic Logic

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
ISSN: 0022-4812

EISSN: 1943-5886

URL: /core/journals/journal-of-symbolic-logic
Your name * Please enter your name

Your email address * Please enter a valid email address.

Who would you like to send this to? *

Select organisation Recommend this journal Select organisation help

Berklee College Of Music

Optional message

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Published on behalf of Association of Symbolic Logic

MathJax is a JavaScript display engine for mathematics. For more information see http://www.mathjax.org.

< Back to all issues

Volume 58 - Issue 3 - September 1993

Contents

Page 2 of 2

First
« Prev
1
2
Next »
Last

Reviews

James Van Aken. Axioms for the set-theoretic hierarchy. The journal of symbolic logic, vol. 51 (1986), pp. 992–1004. - Stephen Pollard. More axioms for the set-theoretic hierarchy. Logique et analyse, n.s. vol. 31 (1988), pp. 85–88. - Michael D. Potter. Sets. An introduction. Clarendon Press, Oxford University Press, Oxford and New York1990, xi + 241 pp.
Vann McGee
Published online by Cambridge University Press:

12 March 2014, pp. 1077-1078
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Chris Ash, Julia Knight, Mark Manasse, and Theodore Slaman. Generic copies of countable structures. Annals of pure and applied logic, vol. 42 (1989), pp. 195–205.
Ivan N. Soskov
Published online by Cambridge University Press:

12 March 2014, pp. 1078-1079
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Gerhard Brewka. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge tracts in theoretical computer science, no. 12. Cambridge University Press, Cambridge etc. 1991, xiii + 168 pp.
Heinrich Herre
Published online by Cambridge University Press:

12 March 2014, pp. 1079-1080
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

R. R. Rockingham Gill. Deducibility and decidability. Routledge, London and New York1990, viii + 162 pp.
Albert Visser
Published online by Cambridge University Press:

12 March 2014, pp. 1080-1082
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Keith Devlin. Logic and information. Cambridge University Press, Cambridge etc. 1991, xii + 308 pp.
I. L. Humberstone
Published online by Cambridge University Press:

12 March 2014, pp. 1082-1084
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Solomon Feferman. Weyl vindicated: “Das Kontinuum” 70 years later. Atti del congresso, Temi e prospettive della logica e della filosofia della scienza contemporanee, Organizzato dalla Società Italiana di Logica e Filosofia delle Scienze (SILFS), Cesena, 7–10 gennaio 1987, Volume I, Logica, edited by Carlo Cellucci and Giovanni Sambin, CLUEB, Bologna1988, pp. 59–93.
Giuseppe Longo
Published online by Cambridge University Press:

12 March 2014, pp. 1085-1086
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Michael Dummett. The logical basis of metaphysics. Harvard University Press, Cambridge, Mass., 1991, xi + 355 pp.
Sanford Shieh
Published online by Cambridge University Press:

12 March 2014, pp. 1086-1090
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Other

Logical methods in mathematics and computer science: A symposium in honor of Anil Nerode's sixtieth birthday
Richard A. Shore
Published online by Cambridge University Press:

12 March 2014, pp. 1091-1092
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Meeting Report

Spring meeting of the Association for Symbolic Logic
Stephen G. Simpson
Published online by Cambridge University Press:

12 March 2014, pp. 1093-1095
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Fourth European summer school in logic, language, and information
H. J. B. M. van der Linden
Published online by Cambridge University Press:

12 March 2014, p. 1096
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Constructivity in computer science: A summer symposium
J. Paul Myers, Jr.
Published online by Cambridge University Press:

12 March 2014, p. 1097
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

European summer meeting of the Association for Symbolic Logic
László Csirmaz
Published online by Cambridge University Press:

12 March 2014, pp. 1098-1149
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Logic at Tver '92
Anil Nerode, M. Taitslin
Published online by Cambridge University Press:

12 March 2014, p. 1150
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Other

Notices
Published online by Cambridge University Press:

12 March 2014, pp. 1151-1152
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Front matter

JSL volume 58 issue 3 Cover and Front matter
Published online by Cambridge University Press:

12 March 2014, pp. f1-f2
- Article
- - You have access
- PDF
- Export citation

Back matter

JSL volume 58 issue 3 Cover and Back matter
Published online by Cambridge University Press:

12 March 2014, pp. b1-b2
- Article
- - You have access
- PDF
- Export citation

Page 2 of 2

First
« Prev
1
2
Next »
Last

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 58 - Issue 3 - September 1993

Reviews

Chris Ash, Julia Knight, Mark Manasse, and Theodore Slaman. Generic copies of countable structures. Annals of pure and applied logic, vol. 42 (1989), pp. 195–205.

Gerhard Brewka. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge tracts in theoretical computer science, no. 12. Cambridge University Press, Cambridge etc. 1991, xiii + 168 pp.

R. R. Rockingham Gill. Deducibility and decidability. Routledge, London and New York1990, viii + 162 pp.

Keith Devlin. Logic and information. Cambridge University Press, Cambridge etc. 1991, xii + 308 pp.

Michael Dummett. The logical basis of metaphysics. Harvard University Press, Cambridge, Mass., 1991, xi + 355 pp.

Other

Logical methods in mathematics and computer science: A symposium in honor of Anil Nerode's sixtieth birthday

Meeting Report

Spring meeting of the Association for Symbolic Logic

Fourth European summer school in logic, language, and information

Constructivity in computer science: A summer symposium

European summer meeting of the Association for Symbolic Logic

Logic at Tver '92

Other

Notices

Front matter

JSL volume 58 issue 3 Cover and Front matter

Back matter

JSL volume 58 issue 3 Cover and Back matter

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 58 - Issue 3 - September 1993

Reviews

Other

Meeting Report

Other

Front matter

Back matter