Pages that link to "Item:Q3639085"
From MaRDI portal
The following pages link to A Course in Mathematical Logic for Mathematicians (Q3639085):
Displaying 15 items.
- A formal framework for the study of the notion of undefined particle number in quantum mechanics (Q514076) (← links)
- A new perspective on intermediate algorithms via the Riemann-Hilbert correspondence (Q1621258) (← links)
- Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory (Q1647403) (← links)
- Word problems in Elliott monoids (Q1669037) (← links)
- Zipf's law and L. Levin probability distributions (Q2258210) (← links)
- Mathematical logic. A course with exercises. Part II. Recursion theory, Gödel's theorems, set theory, model theory. Translated from the 1993 French original by Donald H. Pelletier (Q2734834) (← links)
- Introduction to the special issue: Computability of the physical (Q2919936) (← links)
- Renormalisation and computation. II: Time cut-off and the halting problem (Q2919937) (← links)
- (Q3518697) (← links)
- (Q3718677) (← links)
- ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS (Q4909150) (← links)
- Некоторые замечания о нестандартных методах анализа. I (Q4970106) (← links)
- Standard conjectures in model theory, and categoricity of comparison isomorphisms: A model theory perspective (Q5220655) (← links)
- Dido's problem and beyond (Q6197154) (← links)
- On the differentiation of integrals in measure spaces along filters. II. (Q6577068) (← links)