Skip to main content Accessibility help

The Journal of Symbolic Logic

Other actions
- Information
- - Add bookmark
  - Add alert
  - RSS Feed
  - Share

Published on behalf of Association of Symbolic Logic

Journal Home

Only show content I have access to (2)

Over 3 years (60)

View selected items
Save to my bookmarks
Export citations
Download PDF (zip)
Save to Kindle
Save to Dropbox
Save to Google Drive
Save content to
To save this undefined to your undefined account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you used this feature, you will be asked to authorise Cambridge Core to connect with your undefined account. Find out more about saving content to .

To save this article to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Please be advised that item(s) you selected are not available.
You are about to save
The Journal of Symbolic Logic
ISSN: 0022-4812

EISSN: 1943-5886

URL: /core/journals/journal-of-symbolic-logic
Your Kindle email address

Please provide your Kindle email.

@free.kindle.com @kindle.com (service fees apply)

By using this service, you agree that you will only keep content for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 55 - Issue 1 - March 1990

Reviews

Alfred Tarski and Steven Givant. A formalization of set theory without variables. American Mathematical Society colloquium publications, vol. 41. American Mathematical Society, Providence1987, xxi + 318 pp.

Robert K. Meyer. A farewell to entailment. Foundations of logic and linguistics, Problems and their solutions, edited by Georg Dorn and P. Weingartner, Plenum Press, New York and London1985, pp. 577– 636.

Wilfried Sieg. Reductions of theories for analysis. Foundations of logic and linguistics, Problems and their solutions, edited by Georg Dorn and P. Weingartner, Plenum Press, New York and London1985, pp. 199– 231.

Peter Gibbins. Particles and paradoxes. The limits of quantum logic. Cambridge University Press, Cambridge etc. 1987, xi + 181 pp.

Robert I. Soare. Recursively enumerable sets and degrees. A study of computable functions and computably generated sets. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1987, xviii + 437 pp.

Marcia J. Groszek. Applications of iterated perfect set forcing. Annals of pure and applied logic, vol. 39 (1988), pp. 19– 53.

H. G. Dales and W. H. Woodin. An introduction to independence for analysts. London Mathematical Society lecture note series, vol. 115. Cambridge University Press, Cambridge etc. 1987, xiii + 241 pp.

Sergio Albeverio, Jens Erik Fenstad, Raphael HØEgh-Krohn, and Tom Lindstrom. Nonstandard methods in stochastic analysis and mathematical physics. Pure and applied mathematics, vol. 122. Academic Press, Orlando etc. 1986, xi + 514 pp.

Matthew Hennessy. Algebraic theory of processes. Foundations of computing series. The MIT Press, Cambridge, Mass., and London, 1988, ix + 272 pp.

Rob R. Brady. The logicworks. Student manual. Philosophy Documentation Center, Bowling Green1987, i + 21 pp. + 2 disks. - Rob R. Brady. The logicworks. Guide for instructors. Philosophy Documentation Center, Bowling Green1987, i + 23 pp. + disk.

Jon Barwise and John Etchemendy. Turing's world. Kinko's Academic Courseware Exchange, Santa Barbara1986, viii + 68 pp. + disk. - Jon Barwise and John Etchemendy. Tarski's world. Kinko's Academic Courseware Exchange, Santa Barbara1987, vii + 85 pp. + disk.

Other

Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989

European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988

Meeting of the Association for Symbolic Logic, Chicago, 1989

Logic and linguistics meeting

Notices

Front matter

JSL volume 55 issue 1 Cover and Front matter

Back matter

JSL volume 55 issue 1 Cover and Back matter

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 55 - Issue 1 - March 1990

Reviews

Other

Front matter

Back matter