Suggested Topics within your search.
Showing 1 - 40 results of 159 for search '', query time: 0.11s Refine Results
  1. 1
    Uncertain Inference.

    Uncertain Inference. by Kyburg, Jr, Henry E.

    Published 2001
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    A tour through mathematical logic

    A tour through mathematical logic by Wolf, Robert S.

    Published 2005
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Handbook of Mathematical Induction.

    Handbook of Mathematical Induction. by Gunderson, David S.

    Published 2014
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  4. 4
    Mathematical Logic in Asia : Proceedings of the 9th Asian Logic Conference.

    Mathematical Logic in Asia : Proceedings of the 9th Asian Logic Conference. by Goncharov, S. S.

    Published 2006
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  5. 5
    Fork Algebras in Algebra, Logic and Computer Science.

    Fork Algebras in Algebra, Logic and Computer Science. by Frias, Marcelo Fabián

    Published 2002
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  6. 6
    Russell's Hidden Substitutional Theory.

    Russell's Hidden Substitutional Theory. by Landini, Gregory

    Published 1998
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    Formalism and beyond : on the nature of mathematical discourse

    Formalism and beyond : on the nature of mathematical discourse

    Published 2014
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  8. 8
    Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London

    Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London

    Published 2007
    Full text (Emmanuel users only)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  9. 9
    Frege's logic

    Frege's logic by Macbeth, Danielle

    Published 2005
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  10. 10
    Foundations without foundationalism : a case for second-order logic

    Foundations without foundationalism : a case for second-order logic by Shapiro, Stewart, 1951-

    Published 1991
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  11. 11
    Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction

    Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction by Pudlák, Pavel

    Published 2013
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  12. 12
    Qualitative Spatial and Temporal Reasoning.

    Qualitative Spatial and Temporal Reasoning. by Ligozat, Gérard

    Published 2012
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  13. 13
    Temporal Logic of Reactive and Concurrent Systems : Specification.

    Temporal Logic of Reactive and Concurrent Systems : Specification. by Manna, Zohar

    Published 1992
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  14. 14
    Logic and Combinatorics / Contemporary Mathematics

    Logic and Combinatorics / Contemporary Mathematics by Simpson, Stephen G.

    Published 1987
    Full text (Emmanuel users only)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  15. 15
    HANDS-ON JULIA PROGRAMMING an authoritative guide to the production-ready systems in julia.

    HANDS-ON JULIA PROGRAMMING an authoritative guide to the production-ready systems in julia. by DASH, SAMBIT KUMAR

    Published 2021
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  16. 16
    Frege and other philosophers

    Frege and other philosophers by Dummett, Michael, 1925-2011

    Published 1991
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  17. 17
    Propositions, functions, and analysis : selected essays on Russell's philosophy

    Propositions, functions, and analysis : selected essays on Russell's philosophy by Hylton, Peter

    Published 2005
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  18. 18
    Constructibility and mathematical existence.

    Constructibility and mathematical existence. by Chihara, Charles S., 1932-

    Published 1991
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  19. 19
    Handbook of Mathematical Logic.

    Handbook of Mathematical Logic. by Barwise, Jon

    Published 1989
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  20. 20
    Set theory and its logic

    Set theory and its logic by Quine, W. V. (Willard Van Orman)

    Published 1969
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  21. 21
    Deducibility and Decidability.

    Deducibility and Decidability. by Gill, R. R. Rockingham

    Published 1990
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  22. 22
    Logique arithmétique : l'arithmétisation de la logique

    Logique arithmétique : l'arithmétisation de la logique by Gauthier, Yvon, 1941-

    Published 2010
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  23. 23
    Distilling ideas : an introduction to mathematical thinking

    Distilling ideas : an introduction to mathematical thinking by Katz, Brian P., Starbird, Michael

    Published 2013
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  24. 24
    Mathematical Logic

    Mathematical Logic by Ebbinghaus, H.-D

    Published 1994
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  25. 25
    From a Heuristic Point of View : Essays in Honour of Carlo Cellucci

    From a Heuristic Point of View : Essays in Honour of Carlo Cellucci

    Published 2014
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  26. 26
    Algebra and computer science

    Algebra and computer science

    Published 2016
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  27. 27
    Quantifiers Propositions Identity.

    Quantifiers Propositions Identity. by Goldblatt, Robert

    Published 2011
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  28. 28
    New Perspectives on Games and Interaction

    New Perspectives on Games and Interaction by Apt, Krzysztof, Rooij, Robert van

    Published 2008
    Full text (Emmanuel users only)
    eBook
    Save to List
    Saved in:
  29. 29
    First-Order Logic and Automated Theorem Proving

    First-Order Logic and Automated Theorem Proving by Fitting, Melvin

    Published 1996
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  30. 30
    The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel

    The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel by Grattan-Guinness, I.

    Published 2000
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  31. 31
    Proof and knowledge in mathematics

    Proof and knowledge in mathematics

    Published 1992
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  32. 32
    Logical reasoning with diagrams

    Logical reasoning with diagrams

    Published 1996
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  33. 33
    Commonsense Reasoning.

    Commonsense Reasoning. by Mueller, Erik T.

    Published 2006
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  34. 34
    In the Light of Logic.

    In the Light of Logic. by Feferman, Solomon

    Published 1999
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  35. 35
    Diamond : a paradox logic

    Diamond : a paradox logic by Hellerstein, N. S. (Nathaniel S.)

    Published 2010
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  36. 36
    Mathematical reasoning : patterns, problems, conjectures, and proofs

    Mathematical reasoning : patterns, problems, conjectures, and proofs by Nickerson, Raymond S.

    Published 2010
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  37. 37
    The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940

    The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 by Mancosu, Paolo

    Published 2010
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  38. 38
    The arrow and the point : Russell and Wittgenstein's Tractatus / Russell and Wittgenstein's Tractatus

    The arrow and the point : Russell and Wittgenstein's Tractatus / Russell and Wittgenstein's Tractatus by Bonino, Guido

    Published 2008
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  39. 39
    Mathematical logic

    Mathematical logic by Quine, W. V. (Willard Van Orman)

    Published 1981
    Full text (Emmanuel users only)
    Electronic eBook
    Save to List
    Saved in:
  40. 40
    Symbolic computation and education

    Symbolic computation and education

    Published 2007
    Full text (Emmanuel users only)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:

Search Tools: