Showing 101 - 120 results of 628 for search '"Mathematical logic"', query time: 0.20s Refine Results
  1. 101
    Logical constants

    Logical constants by Dosen, K, Kosta Dosen

    Published 1980
    Subjects: “…Mathematical logic and foundations…”
    Thesis
  2. 102
    Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa /

    Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa / by De Alcantara, Luiz Paulo

    Published 1985
  3. 103
    A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice

    A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice by Maria Emilia Maietti, Samuele Maschio, Michael Rathjen

    Published 2021-05-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  4. 104
    Probability Logic for Harsanyi Type Spaces

    Probability Logic for Harsanyi Type Spaces by Chunlai Zhou

    Published 2014-06-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  5. 105
    Logic for exact real arithmetic

    Logic for exact real arithmetic by Helmut Schwichtenberg, Franziskus Wiesnet

    Published 2021-04-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  6. 106
    Computably regular topological spaces

    Computably regular topological spaces by Klaus Weihrauch

    Published 2013-08-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  7. 107
    Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies

    Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies by Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini

    Published 2019-06-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  8. 108
    McShane-Whitney extensions in constructive analysis

    McShane-Whitney extensions in constructive analysis by Iosif Petrakis

    Published 2020-02-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  9. 109
    The intuitionistic temporal logic of dynamical systems

    The intuitionistic temporal logic of dynamical systems by David Fernández-Duque

    Published 2018-07-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  10. 110
    Constructing categories and setoids of setoids in type theory

    Constructing categories and setoids of setoids in type theory by Erik Palmgren, Olov Wilander

    Published 2014-09-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  11. 111
    Coalgebraic Geometric Logic: Basic Theory

    Coalgebraic Geometric Logic: Basic Theory by Nick Bezhanishvili, Jim de Groot, Yde Venema

    Published 2022-12-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  12. 112
    Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi

    Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi by Peter Battyanyi, Karim Nour

    Published 2017-09-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  13. 113
    Stashing And Parallelization Pentagons

    Stashing And Parallelization Pentagons by Vasco Brattka

    Published 2021-12-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  14. 114
    Direct spectra of Bishop spaces and their limits

    Direct spectra of Bishop spaces and their limits by Iosif Petrakis

    Published 2021-04-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  15. 115
    An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus

    An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus by Péter Battyányi, Karim Nour

    Published 2018-06-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  16. 116
    Limits of real numbers in the binary signed digit representation

    Limits of real numbers in the binary signed digit representation by Franziskus Wiesnet, Nils Köpp

    Published 2022-08-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  17. 117
    The decision problem : solvable classes of quantificational formulas /

    The decision problem : solvable classes of quantificational formulas / by 349366 Dreben, Burton, Goldfard, Warren D.

    Published 1979
    Subjects:
  18. 118
    ω-change randomness and weak demuth randomness

    ω-change randomness and weak demuth randomness by Franklin, Johanna N. Y., Ng, Keng Meng

    Published 2015
    Subjects: “…DRNTU::Science::Mathematics::Mathematical logic…”
    Get full text
    Get full text
    Journal Article
  19. 119
    Complexity of equivalence relations and preorders from computability theory

    Complexity of equivalence relations and preorders from computability theory by Ianovski, Egor, Miller, Russell, Ng, Keng Meng, Nies, Andre

    Published 2015
    Subjects: “…DRNTU::Science::Mathematics::Mathematical logic…”
    Get full text
    Get full text
    Journal Article
  20. 120
    Morley's categoricity theorem : a survey.

    Morley's categoricity theorem : a survey. by Huang, Leonard Tristan Zhiliang.

    Published 2008
    Subjects: “…DRNTU::Science::Mathematics::Mathematical logic…”
    Get full text
    Final Year Project (FYP)

Search Tools: