Search Results - "mathematics - logic" :: K.UTB vyhledávací portál

Loading…

The learning tool for electric circuit and mathematics logic integration

by Fitria, Y, Helsa, Y, Hasanah, F N
Published in Journal of physics. Conference series (01.10.2019)

Get full text

Journal Article

Loading…

Development of Phet Simulation-Based Mathematics Logic E-Modules in Increasing Students' Mathematical Reasoning Ability

by Dwi Oktaviana, Utin Desy Susiaty, Muhamad Firdaus, Iwit Prihatin
Published in Kreano : Jurnal Matematika Kreatif-Inovatif (01.12.2023)

Get full text

Journal Article

Loading…

Logical Dynamics of Information and Interaction

by van Benthem, Johan
Year of Publication 2011

Get full text

eBook

Loading…

Analisis Berpikir Literasi Matematika Berdasarkan Kecerdasan Logika Matematika Siswa SMP

by Ulfah, Maria, Lukman, Hamidah Suryani, Nurcahyono, Novi Andri
Published in Arithmetic (online) (31.12.2020)

Get full text

Journal Article

Loading…

Internal Categoricity and the Generic Multiverse

by Meadows, Toby
Year of Publication 28.08.2025

Get full text

Journal Article

Loading…

Nonstandard Universes

by Ouwehand, Peter
Year of Publication 30.06.2025

Get full text

Journal Article

Loading…

Coinductive well-foundedness

by Petrakis, Iosif
Year of Publication 01.07.2025

Get full text

Journal Article

Loading…

The Development of Bilingual Teaching Materials on Mathematical Logic Based on Integrated Mathematics

by Riana Riana, Malik Ibrahim
Published in JTAM (Jurnal Teori dan Aplikasi Matematika) (Online) (01.10.2021)

Get full text

Journal Article

Loading…

Elementary properties of free lattices II: decidability of the universal theory

by Nation, J. B, Paolini, Gianluca
Year of Publication 12.04.2025

Get full text

Journal Article

Loading…

On variable non-dependence of first-order formulas

by Lefever, Koen, Székely, Gergely
Year of Publication 27.01.2025

Get full text

Journal Article

Loading…

Different Theories of Parts

by Pietruszczak, Andrzej
Published in arXiv.org (13.12.2024)

Get full text

Paper Journal Article

Loading…

Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers

by Bahl, Rohan
Year of Publication 02.10.2024

Get full text

Journal Article

Loading…

Topics, Non-Uniform Substitutions, and Variable Sharing

by Standefer, Shawn, Logan, Shay Allen, Ferguson, Thomas Macaulay
Year of Publication 13.09.2024

Get full text

Journal Article

Loading…

Geometric theories for real number algebra without sign test or dependent choice axiom

by Lombardi, Henri, Mahboubi, Assia
Year of Publication 19.08.2024

Get full text

Journal Article

Loading…

An introduction to practical formal methods using temporal logic

by Fisher, Michael
Year of Publication 2011

Get full text

eBook Book

Loading…

Borel Determinacy: A Streamlined Proof

by Buffard, Thomas, Levrel, Gabriel, Mayo, Sam
Year of Publication 17.01.2024

Get full text

Journal Article

Loading…

Commutativity of Cofinal Types

by Benhamou, Tom
Year of Publication 23.12.2023

Get full text

Journal Article

Loading…

The tree pigeonhole principle in the Weihrauch degrees

by Dzhafarov, Damir, Solomon, Reed, Valenti, Manlio
Year of Publication 16.12.2023

Get full text

Journal Article

Loading…

Peter Schroeder-Heister on Proof-Theoretic Semantics

by Piecha, Thomas, Wehmeier, Kai F
Year of Publication 2024

Get full text

eBook

Loading…

Weihrauch Complexity and the Hagen School of Computable Analysis

by Brattka, Vasco
Year of Publication 11.03.2022

Get full text

Journal Article

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database