The following pages link to Mathematical logic. (Q4805348):
Displaying 13 items.
- The problem of rational knowledge (Q264024) (← links)
- Interpretability in PRA (Q1035648) (← links)
- Temporal-logic property preservation under Z refinement (Q1941860) (← links)
- Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic (Q2212726) (← links)
- Concrete digital computation: what does it take for a physical system to compute? (Q2255184) (← links)
- Mathematical logic. (Q2711810) (← links)
- Mathematical logic and the foundations of mathematics. An introductory survey. Reprint of the 1963 orig (Q2716283) (← links)
- Classical mathematical logic. (Q2753072) (← links)
- Kreiseliana: about and around Georg Kreisel (Q2785428) (← links)
- Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form (Q4558324) (← links)
- From undecidability of non-triviality and finiteness to undecidability of learnability (Q6064265) (← links)
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (Q6107297) (← links)
- On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC (Q6194446) (← links)
