Showing 121 - 140 results of 506 for search '"Mathematical logic"', query time: 0.08s Refine Results
  1. 121
    Minimun degree of the unsolvability and the full approximation construction /

    Minimun degree of the unsolvability and the full approximation construction / by Epstein, Richard L.

    Published 1975
    Subjects: “…Unsolvability (Mathematical logic)…”
  2. 122
    Unsolvable classes of quantificational formulas /

    Unsolvable classes of quantificational formulas / by 366676 Lewis, Harry R.

    Published 1979
    Subjects: “…Unsolvability (Mathematical logic)…”
  3. 123
    Between Philosophy and Mathematics

    Between Philosophy and Mathematics by Jan Vrhovski

    Published 2022-05-01
    Subjects: “…mathematical logic…”
    Get full text
    Article
  4. 124
    Mathematical semantics: a dual history? 1965-1975

    Mathematical semantics: a dual history? 1965-1975 by Loh, Yi Fong

    Published 2022
    Subjects: “…Science::Mathematics::Mathematical logic…”
    Get full text
    Final Year Project (FYP)
  5. 125
    On Galois correspondences in formal logic

    On Galois correspondences in formal logic by Yim, A

    Published 2012
    Subjects:
    Thesis
  6. 126
    Topics in general and set-theoretic topology: slice sets, rigid subsets of the reals, Toronto spaces, cleavability, and neight

    Topics in general and set-theoretic topology: slice sets, rigid subsets of the reals, Toronto spaces, cleavability, and neight by Brian, W

    Published 2013
    Subjects:
    Thesis
  7. 127
    Lectora-Based Interactive E-Module: A Solution to Develop Mathematical Logic Intelligence of Islamic Elementary School Student in the Era Society 5.0

    Lectora-Based Interactive E-Module: A Solution to Develop Mathematical Logic Intelligence of Islamic Elementary School Student in the Era Society 5.0 by Himmatul Ulliyah, Moh. Sutomo, A. Andi Suhardi

    Published 2023-06-01
    “… The research designed in this library research aims to describe and analyze the advantages and disadvantages of Lecora-based interactive e-modules in developing mathematical logic intelligence of Madrasah Ibtidaiyah students in the era society 5.0. …”
    Get full text
    Article
  8. 128
    The undecidability of joint embedding and joint homomorphism for hereditary graph classes

    The undecidability of joint embedding and joint homomorphism for hereditary graph classes by Samuel Braunfeld

    Published 2019-12-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  9. 129
    Infinite sequential Nash equilibrium

    Infinite sequential Nash equilibrium by Stephane Le Roux

    Published 2013-05-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  10. 130
    The undecidability of joint embedding for 3-dimensional permutation classes

    The undecidability of joint embedding for 3-dimensional permutation classes by Samuel Braunfeld

    Published 2021-09-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  11. 131
    Axiomatic strengths of certain mathematical statements

    Axiomatic strengths of certain mathematical statements by Koh, Heer Tern

    Published 2020
    Subjects: “…Science::Mathematics::Mathematical logic…”
    Get full text
    Final Year Project (FYP)
  12. 132
    Zariski structures in noncommutative algebraic geometry and representation theory

    Zariski structures in noncommutative algebraic geometry and representation theory by Solanki, V

    Published 2011
    Subjects:
    Thesis
  13. 133
    Higher-dimensional realizability for intensional type theory

    Higher-dimensional realizability for intensional type theory by Speight, SL

    Published 2023
    Subjects:
    Thesis
  14. 134
    The model theory of certain infinite soluble groups

    The model theory of certain infinite soluble groups by Wharton, E

    Published 2006
    Subjects:
    Thesis
  15. 135
    Scalable reasoning for description logics

    Scalable reasoning for description logics by Shearer, R

    Published 2011
    Subjects: “…Mathematical logic and foundations…”
    Thesis
  16. 136
    On the semantics of intensionality and intensional recursion

    On the semantics of intensionality and intensional recursion by Kavvos, G

    Published 2017
    Subjects:
    Thesis
  17. 137
    Constructive Canonicity of Inductive Inequalities

    Constructive Canonicity of Inductive Inequalities by Willem Conradie, Alessandra Palmigiano

    Published 2020-08-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  18. 138
    Instance reducibility and Weihrauch degrees

    Instance reducibility and Weihrauch degrees by Andrej Bauer

    Published 2022-08-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  19. 139
    Z-stability in Constructive Analysis

    Z-stability in Constructive Analysis by Douglas Bridges, James Dent, Maarten McKubre-Jordens

    Published 2017-04-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  20. 140
    A bound for Dickson's lemma

    A bound for Dickson's lemma by Josef Berger, Helmut Schwichtenberg

    Published 2017-09-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article

Search Tools: