The Journal of Symbolic Logic: Volume 53 - Issue 4

Theodore Hailperin. Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. Second revised and enlarged edition of L 851. Studies in logic and the foundations of mathematics, vol. 85. North-Holland, Amsterdam, New York, etc., 1986, xii + 428 pp.
N. T. Gridgeman
Published online by Cambridge University Press:

12 March 2014, pp. 1253-1254
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Rudy Rucker. Mind tools. The five levels of mathematical reality. Houghton Mifflin Company, Boston 1987, viii + 328 pp.
Raymond M. Smullyan
Published online by Cambridge University Press:

12 March 2014, pp. 1254-1255
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

George J. Tourlakis. Computabitity. Reston Publishing Company, Reston, Va., 1984, x + 566 pp.
Ann Yasuhara
Published online by Cambridge University Press:

12 March 2014, pp. 1255-1257
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Melvin Fitting. Computability theory, semantics, and logic programming. Oxford logic guides, no. 13. Clarendon Press, Oxford University Press, Oxford and New York 1987, xi + 198 pp.
J. C. Shepherdson
Published online by Cambridge University Press:

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

Larry Wos. Automated reasoning: 33 basic research problems. Prentice Hall, Englewood Cliffs, N.J., 1988, xiii + 319 pp.
William M. Farmer
Published online by Cambridge University Press:

12 March 2014, pp. 1258-1259
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Johan Håstad. Computational limitations of small-depth circuits. ACM doctoral dissertation awards. The MIT Press, Cambridge, Mass., and London, 1987, xiii + 84 pp.
Stuart A. Kurtz
Published online by Cambridge University Press:

12 March 2014, pp. 1259-1260
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

S. Yu. Maslov. Theory of deductive systems and its applications. English translation by Michael Gelfond and Vladimir Lifschitz of Téoriá déduktivnyh sistém i éé priménéniá . Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1987, x + 151 pp.
Daniel J. Dougherty
Published online by Cambridge University Press:

12 March 2014, pp. 1260-1261
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

S. Ú. Maslov. Téoriá déduktivnyh sistém i éé priménéniá. Russian original of the preceding. Kibérnétika. Radio i Savz', Moscow 1986, 135 pp. - K. D. Stroyan and José Manuel Bayod. Foundations of infinitesimal stochastic analysis. Studies in logic and the foundations of mathematics, vol. 119. North-Holland, Amsterdam, New York, and Oxford, 1986, xii + 478 pp.
Nigel Cutland
Published online by Cambridge University Press:

12 March 2014, pp. 1261-1262
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Kit Fine. First-order modal theories I—sets. Noûs, vol. 15 (1981), pp. 177–205. - Kit Fine. First-order modal theories. Studia logica, vol. 39 (1980), pp. 159–202. - Kit Fine. First-order modal theories III—facts. Synthese, vol. 53 (1982), pp. 43–122.
F. W. Kroon
Published online by Cambridge University Press:

12 March 2014, pp. 1262-1269
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Meeting of the Association for Symbolic Logic, New York City, May 1987
Martin Davis, Rohit Parikh
Published online by Cambridge University Press:

12 March 2014, pp. 1270-1274
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Logic and linguistics meeting, Stanford, 1987
K. Jon Barwise, Richmond H. Thomason
Published online by Cambridge University Press:

12 March 2014, pp. 1275-1282
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Australasian Association for Logic, annual conference, Brisbane, 1987
R. A. Girle, I. C. Hinckfuss
Published online by Cambridge University Press:

12 March 2014, pp. 1283-1286
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Annual meeting of the Association for Symbolic Logic, New York City, December 1987
Nicholas Goodman, Harold T. Hodes, Carl G. Jockusch, Jr., Kenneth McAloon
Published online by Cambridge University Press:

12 March 2014, pp. 1287-1299
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Association for Symbolic Logic
Published online by Cambridge University Press:

12 March 2014, pp. 1300-1302
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Institutional Members 1988
Published online by Cambridge University Press:

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

Individual Members 1988
Published online by Cambridge University Press:

12 March 2014, pp. 1304-1342
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Notices
Published online by Cambridge University Press:

12 March 2014, pp. 1343-1344
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

JSL volume 53 issue 4 Cover and Front matter
Published online by Cambridge University Press:

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

JSL volume 53 issue 4 Cover and Back matter
Published online by Cambridge University Press:

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

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 53 - Issue 4 - December 1988

Reviews

Rudy Rucker. Mind tools. The five levels of mathematical reality. Houghton Mifflin Company, Boston 1987, viii + 328 pp.

George J. Tourlakis. Computabitity. Reston Publishing Company, Reston, Va., 1984, x + 566 pp.

Melvin Fitting. Computability theory, semantics, and logic programming. Oxford logic guides, no. 13. Clarendon Press, Oxford University Press, Oxford and New York 1987, xi + 198 pp.

Larry Wos. Automated reasoning: 33 basic research problems. Prentice Hall, Englewood Cliffs, N.J., 1988, xiii + 319 pp.

Johan Håstad. Computational limitations of small-depth circuits. ACM doctoral dissertation awards. The MIT Press, Cambridge, Mass., and London, 1987, xiii + 84 pp.

S. Yu. Maslov. Theory of deductive systems and its applications. English translation by Michael Gelfond and Vladimir Lifschitz of Téoriá déduktivnyh sistém i éé priménéniá . Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1987, x + 151 pp.

Kit Fine. First-order modal theories I—sets. Noûs, vol. 15 (1981), pp. 177–205. - Kit Fine. First-order modal theories. Studia logica, vol. 39 (1980), pp. 159–202. - Kit Fine. First-order modal theories III—facts. Synthese, vol. 53 (1982), pp. 43–122.

Meeting Report

Meeting of the Association for Symbolic Logic, New York City, May 1987

Logic and linguistics meeting, Stanford, 1987

Australasian Association for Logic, annual conference, Brisbane, 1987

Annual meeting of the Association for Symbolic Logic, New York City, December 1987

List of officers and members of the Association for Symbolic Logic

Association for Symbolic Logic

Institutional Members 1988

Individual Members 1988

Other

Notices

Front matter

JSL volume 53 issue 4 Cover and Front matter

Back matter

JSL volume 53 issue 4 Cover and Back matter

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 53 - Issue 4 - December 1988

Reviews

Meeting Report

List of officers and members of the Association for Symbolic Logic

Other

Front matter

Back matter