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

Subjects:

Constructive Canonicity of Inductive Inequalities by Willem Conradie, Alessandra Palmigiano

Subjects: “…mathematics - logic…”
Get full text

Instance reducibility and Weihrauch degrees by Andrej Bauer

Subjects: “…mathematics - logic…”
Get full text

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

Subjects: “…mathematics - logic…”
Get full text

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

Subjects: “…mathematics - logic…”
Get full text

Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative by Kristian Stoevring

Subjects: “…mathematics - logic…”
Get full text

Analisis Berpikir Literasi Matematika Berdasarkan Kecerdasan Logika Matematika Siswa SMP by Maria Ulfah, Hamidah Suryani Lukman, Novi Andri Nurcahyono

Subjects: Get full text

The Third Trick by Hannes Diener, Matthew Hendtlass

Subjects: “…mathematics - logic…”
Get full text

A Forgotten Theory of Proofs ? by Erwin Engeler

Subjects: Get full text

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras by Natanael Alpay, Peter Jipsen, Melissa Sugimoto

Subjects: “…mathematics - logic…”
Get full text

A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus by Thomas Streicher

Subjects: Get full text

El desarrollo tecnológico de la sociedad y sus incidencias en el pensamiento lógico matemático / Technological development in the society and its effects on the mathematical logical thinking by Rafael Bermúdez Tacunga

Get full text

Theorem proving with analytic tableaux and related methods / by International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany), Hahnle, Reiner, Posegga, Joachim, Baumgartner, Peter

Subjects:

On the calculus of positively constructed formulas for authomated theorem proving by A. V. Davydov, A. A. Larionov, E. A. Cherkashin

Subjects: Get full text

Borel Chain Conditions of Borel Posets by Ming Xiao

Subjects: “…mathematical logic…”
Get full text

PENGEMBANGAN ALAT PERAGA LOGIKA MATEMATIKA MINIATUR TANDON AIR TINGKAT TIGA MELALUI REALISTIC MATHEMATICS EDUCATION (RME) by Septia Ezy Pratama, Yahya AD, Dona Dinda Pratiwi

Subjects: “…Mathematical logic…”
Get full text

AI and Mathematical Education by Angel Garrido

Subjects: Get full text

Finite choice, convex choice and finding roots by Stéphane Le Roux, Arno Pauly

Subjects: “…mathematics - logic…”
Get full text

PENGARUH KECERDASAN MATEMATIS-LOGIS DAN KEMANDIRIAN BELAJAR TERHADAP HASIL BELAJAR MATEMATIKA by Teguh Santoso, Dwi Priyo Utomo

Subjects: “…mathematical-logical…”
Get full text

Consistency of circuit lower bounds with bounded theories by Jan Bydzovsky, Jan Krajicek, Igor C. Oliveira

Subjects: Get full text