Research Article
Compact and majorizable functionals of finite type
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-280
-
- Article
- Export citation
Reviews
Logic, semantics, metamathematics, Papers from 1923 to 1938, by Alfred Tarski, translated by J. H. Woodger, second edition edited and introduced by John Corcoran, Hackett Publishing Company, Indianapolis 1983, xxx + 506 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-282
-
- Article
- Export citation
Gödel remembered, Salzburg 10–12 July 1983, edited by Paul Weingartner and Leopold Schmetterer, History of logic, no. 4, Bibliopolis, Naples1987, 187 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-284
-
- Article
- Export citation
Modèles non standard en arithmétique et théorie des ensembles, Publications mathématiques de l'Université Paris VII, no. 22, U.E.R. de Mathématiques, Paris1987, 147 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-287
-
- Article
- Export citation
Neil Immerman. Upper and lower bounds for first order expressibility. Journal of computer and system sciences, vol. 25 (1982), pp. 76–98. - Neil Immerman. Relational queries computable in polynomial time. Information and control, vol. 68 (1986), pp. 86–104. - Neil Immerman. Languages that capture complexity classes. SIAM journal on computing, vol. 16 (1987), pp. 760–778.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-288
-
- Article
- Export citation
Jean H. Gallier. Logic for computer science. Foundations of automatic theorem proving. Harper & Row computer science and technology series. Harper & Row, New York1986, xv + 511 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
-
- Article
- Export citation
P. T. Johnstone. Notes on logic and set theory. Cambridge University Press, Cambridge etc. 1987, x + 111 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-290
-
- Article
- Export citation
Nigel J. Cutland. Nonstandard measure theory and its applications. The bulletin of the London Mathematical Society, vol. 15 (1983), pp. 529–589.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 290-291
-
- Article
- Export citation
Stewart Shapiro. Second-order languages and mathematical practice. The journal of symbolic logic, vol. 50 (1985), pp. 714–742.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-293
-
- Article
- Export citation
Richard Routley with Val Plumwood, Robert K. Meyer, and Ross T. Brady. Relevant logics and their rivals. Part I. The basic philosophical and semantical theory. Ridgeview Publishing Company, Atascadero, Calif., 1982, xv + 460 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-296
-
- Article
- Export citation
Graham Oddie. Likeness to truth. The University of Western Ontario series in philosophy of science, vol. 30. D. Reidel Publishing Company, Dordrecht etc. 1986, xv + 218 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
-
- Article
- Export citation
Ilkka Niiniluoto. Truthlikeness. Synthese library, vol. 195. D. Reidel Publishing Company, Dordrecht etc. 1987, xvii + 518 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-300
-
- Article
- Export citation
John R. Searle and Daniel Vanderveken. Foundations of illocutionary logic. Cambridge University Press, Cambridge etc. 1985, xi + 227 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 300-302
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 303-304
-
- Article
- Export citation
Front matter
JSL volume 54 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 54 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation