47 results
Hao Wang, Beyond Analytic Philosophy (Cambridge, MA and London, England: M.I.T. Press 1986) Pp. xii + 276. $17.50 CAN.
-
- Journal:
- Canadian Journal of Philosophy / Volume 17 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 01 January 2020, pp. 477-482
-
- Article
- Export citation
Richard Montague Formal Philosophy, selected papers edited and with an introduction by Richmond H. Thomason (New Haven and London: Yale University Press, 1974). Pp. 369. $12.50.
-
- Journal:
- Canadian Journal of Philosophy / Volume 4 / Issue 3 / March 1975
- Published online by Cambridge University Press:
- 01 January 2020, pp. 573-578
-
- Article
- Export citation
Jon Barwise ed. with the cooperation of H.J. Keisler Kenneth Kunen Y.N. Moschovakis and A.S. Troelstra: Handbook of Mathematical Logic (Amsterdam, New York and Oxford: North-Holland Publishing Company 1978). Pp. xii, 1168, $40.00 U.S.
-
- Journal:
- Canadian Journal of Philosophy / Volume 14 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 01 January 2020, pp. 675-682
-
- Article
- Export citation
D. Gabbay and F. Guenthner, eds, Handbook of Philosophical Logic Vol. II: Extensions of Classical Logic (Dordrecht, Boston and Lancaster: D. Reidel Publishing Company 1984). Pp. xii + 780. $120.00 U.S. (special price $102.00 for subscribers to all four volumes)
-
- Journal:
- Canadian Journal of Philosophy / Volume 17 / Issue 2 / June 1987
- Published online by Cambridge University Press:
- 01 January 2020, pp. 483-489
-
- Article
- Export citation
Alan Ross Anderson and Nuel D. BelnapJr. Entailment Vol. 1 (Princeton University Press, Princeton, (1975). Pp. xxxii + 543,$23.50.
-
- Journal:
- Canadian Journal of Philosophy / Volume 7 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 01 January 2020, pp. 405-411
-
- Article
- Export citation
RUSSELL AND GÖDEL
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, pp. 504-520
- Print publication:
- December 2016
-
- Article
-
- You have access
- Export citation
S. Barry Cooper and Andrew Hodges (editors), The Once and Future Turing: Computing the World. Cambridge University Press, 2016. xviii + 379 pp.— therein: - Martin Davis. Algorithms, Equations, and Logic. pp. 4–19. - J.M.E. Hyland. The Forgotten Turing. pp. 20–33. - Andrew R. Booker. Turing and the Primes. pp. 34–52. - Ueli Maurer. Cryptography and Computation after Turing. pp. 53–77. - Kanti V. Mardia and S. Barry Cooper. Alan Turing and Enigmatic Statistics. pp. 78–89. - Stephen Wolfram. What Alan Turing Might Have Discovered. pp. 92–105. - Christof Teuscher. Designed versus Intrinsic Computation. pp. 106–116. - Solomon Feferman. Turing’s ‘Oracle’: From Absolute to Relative Computability and Back. pp. 300–334. - P.D. Welch. Turing Transcendent: Beyond the Event Horizon. pp. 335–360. - Roger Penrose. On Attempting to Model the Mathematical Mind. pp. 361–378.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 10 October 2016, pp. 354-356
- Print publication:
- September 2016
-
- Article
- Export citation
Failure of Interpolation in Constant Domain Intuitionistic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 937-950
- Print publication:
- September 2013
-
- Article
- Export citation
The development of modern logic, edited by Leila Haaparanta, Oxford University Press, 2009. x + 999 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 268-270
- Print publication:
- June 2012
-
- Article
- Export citation
Von Neumann, Gödel and Complexity Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 516-530
- Print publication:
- December 2010
-
- Article
- Export citation
3 - Proof Theory
- from Part II - Logic
-
-
- Book:
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Published online:
- 05 June 2013
- Print publication:
- 28 June 2010, pp 79-98
-
- Chapter
- Export citation
Proofs, Snakes and Ladders
-
- Journal:
- Dialogue: Canadian Philosophical Review / Revue canadienne de philosophie / Volume 13 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 09 June 2010, pp. 723-731
-
- Article
- Export citation
The Paradox of the Liar Edited by Robert L. Martin. New Haven and London: Yale University Press, 1970. Pp. xv, 149. $5.75.
-
- Journal:
- Dialogue: Canadian Philosophical Review / Revue canadienne de philosophie / Volume 10 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 09 June 2010, pp. 823-825
-
- Article
- Export citation
Decorated linear order types and the theory of concatenation
-
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp 1-13
-
- Chapter
- Export citation
Katalin Bimbó and J. Michael Dunn. Relational semantics of nonclassical logical calculi. CSLI Lecture Notes, no. 188. CSLI Publications, Stanford University, 2008, x + 382 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 16 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 15 January 2014, pp. 277-278
- Print publication:
- June 2010
-
- Article
- Export citation
Time and Necessity. By Jaakko Hintikka. Oxford: Clarendon Press. 1973. Pp. viii, 225. £5.50
-
- Journal:
- Dialogue: Canadian Philosophical Review / Revue canadienne de philosophie / Volume 15 / Issue 4 / December 1976
- Published online by Cambridge University Press:
- 05 May 2010, pp. 696-699
-
- Article
- Export citation
From Berkeley to Bourbaki*
-
- Journal:
- Dialogue: Canadian Philosophical Review / Revue canadienne de philosophie / Volume 38 / Issue 3 / Summer 1999
- Published online by Cambridge University Press:
- 13 April 2010, pp. 587-592
-
- Article
- Export citation
Benacerraf and His CriticsAdam Morton and Stephen Stich, editors Philosophers and Their Critics, vol. 8Cambridge, MA: Blackwell Publishers, 1996, xi + 271 pp., $54.95
-
- Journal:
- Dialogue: Canadian Philosophical Review / Revue canadienne de philosophie / Volume 37 / Issue 3 / Summer 1998
- Published online by Cambridge University Press:
- 13 April 2010, pp. 633-637
-
- Article
- Export citation
2009 North American Annual Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 441-464
- Print publication:
- December 2009
-
- Article
- Export citation
Enumerating Types of Boolean Functions
-
- Journal:
- Bulletin of Symbolic Logic / Volume 15 / Issue 3 / September 2009
- Published online by Cambridge University Press:
- 15 January 2014, pp. 273-299
- Print publication:
- September 2009
-
- Article
- Export citation