Suggested Topics within your search.
Search alternatives:
"mathematical logic" » "mathematical model" (Expand Search), "mathematical physics" (Expand Search)
Showing 61 - 80 results of 311 for search '"mathematical logic"', query time: 0.11s Refine Results
  1. 61
    Deducibility and Decidability.

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

    Published 1990
    Subjects: “…Decidability (Mathematical logic) sh 85036191…”
    Full text (WIT users only)
    Electronic eBook
    Save to List
    Saved in:
  2. 62
    Understanding Behaviour of Distributed Systems Using mCRL2 by Muhammad Atif, Jan Friso Groote.

    Understanding Behaviour of Distributed Systems Using mCRL2 by Muhammad Atif, Jan Friso Groote. by Atif, Muhammad, Groote, Jan Friso

    Published 2023
    Subjects:
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  3. 63
    Field Arithmetic by Michael D. Fried, Moshe Jarden.

    Field Arithmetic by Michael D. Fried, Moshe Jarden. by Fried, Michael D., Jarden, Moshe

    Published 2023
    Subjects:
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  4. 64
    Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers / edited by Nina Gierasimczuk, Fernando R. Velázquez-Quesada.

    Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers / edited by Nina Gierasimczuk, Fe...

    Published 2024
    Subjects:
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  5. 65
    Decidability and Boolean representations / Stanley Burris and Ralph McKenzie.

    Decidability and Boolean representations / Stanley Burris and Ralph McKenzie. by Burris, Stanley, McKenzie, Ralph

    Published 1981
    Subjects:
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  6. 66
    Quantum Mechanics and Avant-Garde Music Shadows of the Void / by Rakhat-Bi Abdyssagin.

    Quantum Mechanics and Avant-Garde Music Shadows of the Void / by Rakhat-Bi Abdyssagin. by Abdyssagin, Rakhat-Bi

    Published 2024
    Subjects:
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  7. 67
    R-Calculus, IV: Propositional Logic by Wei Li, Yuefei Sui.

    R-Calculus, IV: Propositional Logic by Wei Li, Yuefei Sui. by Li, Wei, Sui, Yuefei

    Published 2023
    Subjects:
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  8. 68
    Intuition et déduction en mathématiques.

    Intuition et déduction en mathématiques. by Leclercq, Bruno

    Published 2015
    Subjects: “…;MATHEMATICS -- Infinity.;MATHEMATICS -- Logic.…”
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  9. 69
    Nonclassical and inverse problems for pseudoparabolic equations / A. Asanov and E.R. Atamanov.

    Nonclassical and inverse problems for pseudoparabolic equations / A. Asanov and E.R. Atamanov. by Asanov, A., Atamanov, E. R.

    Published 1997
    Subjects:
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  10. 70
    An Introduction to Non-Classical Logic : From If to Is by Graham Priest.

    An Introduction to Non-Classical Logic : From If to Is by Graham Priest. by Priest, Graham

    Published 2008
    Subjects:
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  11. 71
    Three Views of Logic : Mathematics, Philosophy, and Computer Science.

    Three Views of Logic : Mathematics, Philosophy, and Computer Science. by Loveland, Donald W.

    Published 2014
    Subjects:
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  12. 72
    Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers / edited by Dun Deng, Mingming Liu, Dag Westerståhl, Kaibo Xie.

    Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers / edite...

    Published 2023
    Subjects:
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  13. 73
    R-Calculus, V: Description Logics by Wei Li, Yuefei Sui.

    R-Calculus, V: Description Logics by Wei Li, Yuefei Sui. by Li, Wei, Sui, Yuefei

    Published 2024
    Subjects:
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  14. 74
    One hundred years of Russell's paradox : mathematics, logic, philosophy / editor, Godehard Link.

    One hundred years of Russell's paradox : mathematics, logic, philosophy / editor, Godehard Link.

    Published 2004
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  15. 75
    Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5–6, 2023, Proceedings / edited by Jinchang Ren, Amir Hussain, Iman Yi Liao, Rongjun Chen, Kaizhu Huang, Huimin Zhao, Xiaoyong Liu, Ping Ma, Thomas Maul.

    Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5–6, 2023, Proceedings / edited by Jinchang Ren, Amir Hussain,...

    Published 2024
    Subjects:
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  16. 76
    Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings / edited by Jean Baratgin, Baptiste Jacquet, Hiroshi Yama.

    Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings / edited by Jean Baratgin, Baptiste Jacquet, Hiroshi...

    Published 2024
    Subjects:
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  17. 77
    Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings / edited by Emil Sekerinski, Leila Ribeiro.

    Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings / edited by Emil Sekerinski, Leila Ribeiro.

    Published 2024
    Subjects: “…Mathematical logic.…”
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  18. 78
    Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro.

    Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings / edited by Catherine Dubois, Pierluigi San Pietro.

    Published 2023
    Subjects: “…Mathematical logic.…”
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  19. 79
    Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / edited by Michael Hanus, Daniela Inclezan.

    Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / edited by Michael Hanus, Daniela Inclezan.

    Published 2023
    Subjects:
    Full text (Wentworth users only)
    Electronic eBook
    Save to List
    Saved in:
  20. 80
    Finite Automata / by Mark V. Lawson.

    Finite Automata / by Mark V. Lawson. by Lawson, Mark V.

    Published 2003
    Subjects:
    Full text (WIT users only)
    Electronic eBook
    Save to List
    Saved in:

Search Tools: