Domenico Cantone, Alfredo Ferro, and Eugenio Omodeo. Computable set theory. Volume 1. International series of monographs on computer science, no. 6. Clarendon Press, Oxford University Press, Oxford and New York1989, xii + 347 pp.

Lincoln A. Wallen

doi:10.2307/2275351

Domenico Cantone, Alfredo Ferro, and Eugenio Omodeo. Computable set theory. Volume 1. International series of monographs on computer science, no. 6. Clarendon Press, Oxford University Press, Oxford and New York1989, xii + 347 pp.

Journal of Symbolic Logic ◽

10.2307/2275351 ◽

1993 ◽

Vol 58 (1) ◽

pp. 361-362

Author(s):

Lincoln A. Wallen

Keyword(s):

Computer Science ◽

Set Theory ◽

Oxford University ◽

Computable Set ◽

Oxford University Press

Download Full-text

Crispin Wright. On the philosophical significance of Frege's theorem. Language, thought, and logic, Essays in honour of Michael Dummett, edited by Richard G. HeckJnr. , Oxford University Press, Oxford and New York 1998 (©1997), pp. 201–244. - George Boolos. Is Hume's principle analytic? Language, thought, and logic, Essays in honour of Michael Dummett, edited by Richard G. HeckJnr. , Oxford University Press, Oxford and New York 1998 (©1997), pp. 245–261. - Charles Parsons. Wright on abstraction and set theory. Language, thought, and logic, Essays in honour of Michael Dummett, edited by Richard G. HeckJnr. , Oxford University Press, Oxford and New York 1998 (©1997), pp. 263–271. - Richard G. HeckJnr. The Julius Caesar objection. Language, thought, and logic, Essays in honour of Michael Dummett, edited by Richard G. HeckJnr. , Oxford University Press, Oxford and New York 1998 (©1997), pp. 273–308.

Journal of Symbolic Logic ◽

10.2307/2586670 ◽

1998 ◽

Vol 63 (4) ◽

pp. 1598-1602

Author(s):

William Demopoulos

Keyword(s):

New York ◽

Set Theory ◽

Julius Caesar ◽

Hume’S Principle ◽

Crispin Wright ◽

Michael Dummett ◽

Philosophical Significance ◽

Oxford University ◽

George Boolos ◽

Oxford University Press

Download Full-text

Subrata Dasgupta. The Second Age of Computer Science: From Algol Genes to Neural Nets. xxv + 326 pp., bibl., index. Oxford: Oxford University Press, 2018. £28.99 (cloth). ISBN 9780190843861.

Isis ◽

10.1086/709159 ◽

2020 ◽

Vol 111 (2) ◽

pp. 439-440

Author(s):

Cyrus C. M. Mody

Keyword(s):

Computer Science ◽

Neural Nets ◽

Oxford University ◽

Oxford University Press

Download Full-text

Raymond M. Smullyan and Melvin Fitting. Set theory and the continuum problem. Oxford logic guides, no. 34. Clarendon Press, Oxford University Press, Oxford, New York, etc., 1996, xiii + 288 pp.

Journal of Symbolic Logic ◽

10.2307/2586777 ◽

1999 ◽

Vol 64 (1) ◽

pp. 401-403

Author(s):

James Cummings

Keyword(s):

New York ◽

Set Theory ◽

Oxford University ◽

The Continuum ◽

Oxford University Press

Download Full-text

Mathematical logic: a course with exercises Part II: Recursion theory, Gödel’s theorems, set theory, model theory, by René Cori and Daniel Lascar, translated by Donald H. Pelletier. Pp. 331. £62 (hb), £26 (pb). 2001. ISBN 0 19 850051 3 (hb) 0 19 850050 5 (pb) (Oxford University Press).

The Mathematical Gazette ◽

10.1017/s0025557200174832 ◽

2004 ◽

Vol 88 (511) ◽

pp. 187-188

Author(s):

S. C. Russen

Keyword(s):

Mathematical Logic ◽

Set Theory ◽

Model Theory ◽

Recursion Theory ◽

Theory Model ◽

Oxford University ◽

Oxford University Press

Download Full-text

J. L. Bell. Boolean-valued models and independence proofs in set theory. Second edition of XLVI 165. Oxford logic guides, no. 12. Clarendon Press, Oxford University Press, Oxford and New York1985, xx + 165 pp. - Dana Scott. Foreword. A revised reprint of XLVI 165. Therein, pp. vii–xiii.

Journal of Symbolic Logic ◽

10.2307/2273926 ◽

1986 ◽

Vol 51 (4) ◽

pp. 1076-1077

Author(s):

James E. Baumgartner

Keyword(s):

Set Theory ◽

Oxford University ◽

Oxford University Press

Download Full-text

PENELOPE MADDY. Defending the Axioms: On the Philosophical Foundations of Set Theory. Oxford: Oxford University Press, 2011. ISBN 978-0-19-959618-8 (hbk); 978-0-19-967148-9 (pbk). Pp. x + 150

Philosophia Mathematica ◽

10.1093/philmat/nkt020 ◽

2013 ◽

Vol 21 (3) ◽

pp. 385-392

Author(s):

C. McLarty

Keyword(s):

Set Theory ◽

Philosophical Foundations ◽

Oxford University ◽

Oxford University Press

Download Full-text

T. E. Forster. Set theory with a universal set. Exploring an untyped universe. Second edition of LVIII 725. Oxford logic guides, no. 31. Clarendon Press, Oxford University Press, Oxford and New York1995, x + 166 pp.

Journal of Symbolic Logic ◽

10.2307/2275828 ◽

1996 ◽

Vol 61 (4) ◽

pp. 1392-1393

Author(s):

M. Randall Holmes

Keyword(s):

Set Theory ◽

Oxford University ◽

Oxford University Press

Download Full-text

Conditionals: from philosophy to computer science, edited by G. Crocco, L. Fariñas del Cerro, and A. Herzig, Studies in logic and computation, no. 5, Clarendon Press, Oxford University Press, Oxford and New York1995, viii + 368 pp.

Journal of Symbolic Logic ◽

10.2307/2275657 ◽

1997 ◽

Vol 62 (4) ◽

pp. 1487-1490

Author(s):

Charles B. Cross ◽

Donald Nute

Keyword(s):

Computer Science ◽

Oxford University ◽

Oxford University Press

Download Full-text

Penelope Maddy, Defending the Axioms: On the philosophical foundations of set theory, Oxford University Press, Oxford, UK, 2011, 150pp.

Bulletin of Symbolic Logic ◽

10.1017/bsl.2013.5 ◽

2014 ◽

Vol 20 (1) ◽

pp. 91-93

Author(s):

Juliette Kennedy

Keyword(s):

Set Theory ◽

Philosophical Foundations ◽

Oxford University ◽

Oxford University Press

Download Full-text

Mullen, Norma D. and P. Charles Brown. English for Computer Science. Oxford: Oxford University Press, 1984Mullen, Norma D. and P. Charles Brown. English for Computer Science. Oxford: Oxford University Press, 1984. Pp. 239. $14.30.

Canadian Modern Language Review/ La Revue canadienne des langues vivantes ◽

10.3138/cmlr.42.3.733 ◽

1986 ◽

Vol 42 (3) ◽

pp. 733-733

Author(s):

Bruce McCormack

Keyword(s):

Computer Science ◽

Oxford University ◽

Oxford University Press

Download Full-text