অনুসন্ধান ফলাফলগুলি - "Mathematical Logic"

  1. 1

    Inquisitive Logic Consequence and Inference in the Realm of Questions / অনুযায়ী Ciardelli, Ivano

    প্রকাশিত 2022
    বিষয়গুলি: “…Mathematical logic.…”
    Link to Metadata
    বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
  2. 2

    The Logical Writings of Karl Popper

    প্রকাশিত 2022
    বিষয়গুলি: “…Mathematical logic.…”
    Link to Metadata
    বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
  3. 3

    Advances in Proof-Theoretic Semantics

    প্রকাশিত 2016
    বিষয়গুলি: “…Mathematical logic.…”
    Link to Metadata
    বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
  4. 4

    Paul Lorenzen -- Mathematician and Logician

    প্রকাশিত 2021
    বিষয়গুলি: “…Mathematical logic.…”
    Link to Metadata
    বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
  5. 5

    Advances in Proof-Theoretic Semantics

    প্রকাশিত 2016
    বিষয়গুলি: “…Mathematical Logic and Foundations…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  6. 6

    Advances in Proof-Theoretic Semantics

    প্রকাশিত 2016
    বিষয়গুলি: “…Mathematical Logic and Foundations…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  7. 7

    Peter Schroeder-Heister on Proof-Theoretic Semantics

    প্রকাশিত 2024
    বিষয়গুলি: “…Mathematical logic.…”
    Link to Metadata
    বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
  8. 8

    Fading Foundations Probability and the Regress Problem / অনুযায়ী Atkinson, David, Peijnenburg, Jeanne

    প্রকাশিত 2017
    বিষয়গুলি: “…Mathematical logic.…”
    Link to Metadata
    বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
  9. 9

    Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    প্রকাশিত 2022
    বিষয়গুলি: “…Mathematical logic.…”
    Link to Metadata
    বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
  10. 10

    Vorlesungen über Philosophische Logik অনুযায়ী Fuhrmann, André

    প্রকাশিত 2023
    বিষয়গুলি: “…Mathematical logic bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  11. 11

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    প্রকাশিত 2020
    বিষয়গুলি: “…Mathematical logic.…”
    Link to Metadata
    বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
  12. 12

    Sheaf Theory through Examples অনুযায়ী Rosiak, Daniel

    প্রকাশিত 2022
    বিষয়গুলি: “…Mathematical logic bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  13. 13

    Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates অনুযায়ী Mostowski, Wojciech

    প্রকাশিত 2017
    বিষয়গুলি: “…Predicate (mathematical logic)…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  14. 14

    Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates অনুযায়ী Mostowski, Wojciech

    প্রকাশিত 2017
    বিষয়গুলি: “…Predicate (mathematical logic)…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  15. 15

    The Everyday Life of an Algorithm অনুযায়ী Neyland, Daniel

    প্রকাশিত 2019
    বিষয়গুলি: “…Mathematical logic…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  16. 16

    The Everyday Life of an Algorithm অনুযায়ী Neyland, Daniel

    প্রকাশিত 2019
    বিষয়গুলি: “…Mathematical logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  17. 17

    Fading Foundations Probability and the Regress Problem অনুযায়ী Atkinson, David

    প্রকাশিত 2017
    বিষয়গুলি: “…Mathematical logic…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  18. 18

    Fading Foundations Probability and the Regress Problem অনুযায়ী Atkinson, David

    প্রকাশিত 2017
    বিষয়গুলি: “…Mathematical logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  19. 19

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

    প্রকাশিত 2018
    বিষয়গুলি: “…Mathematical logic…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়
  20. 20

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

    প্রকাশিত 2018
    বিষয়গুলি: “…Mathematical logic…”
    DOAB: download the publication
    DOAB: description of the publication
    বৈদ্যুতিক গ্রন্থের অধ্যায়