検索結果

結果の絞り込み
  1. 1

    The Everyday Life of an Algorithm 著者: Neyland, Daniel

    出版事項 2019
    全文の入手
    電子媒体 図書
  2. 2

    Philosophical and Mathematical Logic 著者: de Swart, Harrie

    出版事項 2018
    全文の入手
    電子媒体 図書
  3. 3

    Conceptual Spaces: Elaborations and Applications

    出版事項 2019
    全文の入手
    電子媒体 図書
  4. 4

    Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts /

    出版事項 2019
    全文の入手
    電子媒体 図書
  5. 5

    The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics 著者: Bell, John L.

    出版事項 2019
    全文の入手
    電子媒体 図書
  6. 6

    Mathesis Universalis, Computability and Proof

    出版事項 2019
    全文の入手
    電子媒体 図書
  7. 7

    Constructive Semantics Meaning in Between Phenomenology and Constructivism /

    出版事項 2019
    全文の入手
    電子媒体 図書
  8. 8

    Graham Priest on Dialetheism and Paraconsistency

    出版事項 2019
    全文の入手
    電子媒体 図書
  9. 9

    New Essays on Belnap-­Dunn Logic

    出版事項 2019
    全文の入手
    電子媒体 図書
  10. 10

    Iceberg Semantics for Mass Nouns and Count Nouns A New Framework for Boolean Semantics / 著者: Landman, Fred

    出版事項 2020
    全文の入手
    電子媒体 図書
  11. 11

    Hajnal Andréka and István Németi on Unity of Science From Computing to Relativity Theory Through Algebraic Logic /

    出版事項 2021
    全文の入手
    電子媒体 図書
  12. 12

    Readings in Formal Epistemology Sourcebook /

    出版事項 2016
    全文の入手
    電子媒体 図書
  13. 13

    Perspectives on Interrogative Models of Inquiry Developments in Inquiry and Questions /

    出版事項 2016
    全文の入手
    電子媒体 図書
  14. 14

    J. Michael Dunn on Information Based Logics

    出版事項 2016
    全文の入手
    電子媒体 図書
  15. 15

    Rohit Parikh on Logic, Language and Society

    出版事項 2017
    全文の入手
    電子媒体 図書
  16. 16

    Controlling Language in Industry Controlled Languages for Technical Documents / 著者: Crabbe, Stephen

    出版事項 2017
    全文の入手
    電子媒体 図書
  17. 17

    Structures and Algorithms Mathematics and the Nature of Knowledge / 著者: Fenstad, Jens Erik

    出版事項 2018
    全文の入手
    電子媒体 図書
  18. 18

    Logical Form Between Logic and Natural Language / 著者: Iacona, Andrea

    出版事項 2018
    全文の入手
    電子媒体 図書
  19. 19

    Intuitionistic Proof Versus Classical Truth The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics / 著者: Martino, Enrico

    出版事項 2018
    全文の入手
    電子媒体 図書
  20. 20

    Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

    出版事項 2018
    全文の入手
    電子媒体 図書