Showing 1 - 20 results of 653 for search '', query time: 0.22s Refine Results
  1. 1
    An introduction to practical formal methods using temporal logic
    by Fisher, Michael, 1962-
    Published 2011

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  2. 2
    Realizability an introduction to its categorical side /
    by Oosten, Jaap van
    Published 2008

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  3. 3
    The published works of Ludwig Wittgenstein

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  4. 4
    Ludwig Wittgenstein: letters, lectures, conversations, memoirs

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  5. 5
    Wittgenstein's Nachlass. The Bergen electronic edition

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  6. 6
    ISVD 2007 proceedings : 9-11 July, 2007, University of Glamorgan, Pontypridd, Wales /
    Published 2007

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Conference Proceeding Book
  7. 7
    The 3rd International Symposium on Voronoi Diagrams in Science and Engineering 2006 proceedings : July 2nd-July 5th, 2006, Banff Center, Calgary, Alberta, Canada /
    Published 2006

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Conference Proceeding Book
  8. 8
    Studies in logic, grammar and rhetoric

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Serial
  9. 9
    Modern logic

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Journal
  10. 10
    Proceedings of the 7th 8th Asian Logic Conferences, Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China 29 August-2 September 2002
    Published 2003

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Conference Proceeding Book
  11. 11
    Does mathematical study develop logical thinking? testing the theory of formal discipline /
    by Inglis, Matthew
    Published 2017

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  12. 12
    Mathematical logic
    by Tourlakis, George J
    Published 2008

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  13. 13
    Learning to reason an introduction to logic, sets and relations /
    by Rodgers, Nancy, 1941-
    Published 2000

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  14. 14
    Optimization methods for logical inference
    by Chandru, Vijay, 1953-
    Published 1999

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  15. 15
    Algebra, logic, and combinatorics
    Published 2016

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  16. 16
    Proceedings, 2012 19th International Symposium on Temporal Representation and Reasoning TIME 2012 : 12-14 September 2012, Leicester, United Kingdom
    Published 2012

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Conference Proceeding Book
  17. 17
    Zermelo's Axiom of Choice Its Origins, Development, and Influence /
    by Moore, Gregory H
    Published 1982

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  18. 18
    Multi-criteria Decision Making Methods a Comparative Study /
    by Triantaphyllou, Evangelos
    Published 2000

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  19. 19
    Applications of Hyperstructure Theory
    by Corsini, Piergiulio
    Published 2003

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
  20. 20
    Introduction to Mathematical Structures and Proofs
    by Gerstein, Larry J
    Published 1996

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Book
Search Tools: Get RSS Feed — Email this Search