Pages that link to "Item:Q2556390"
From MaRDI portal
The following pages link to Introduction to mathematical logic. Translated from the German by Diana Schmidt (Q2556390):
Displaying 7 items.
- Semantics and properties of existential quantifiers in deductive databases (Q685471) (← links)
- Partial-predicate logic in computer science (Q1079560) (← links)
- Program-substitution and admissibility of rules in algorithmic logic (Q1092655) (← links)
- On certain axiomatizations of arithmetic of natural and integer numbers (Q2306641) (← links)
- Henkin’s Theorem in Textbooks (Q3454810) (← links)
- EXTENDING A PUTNAM PROBLEM TO FIELDS OF VARIOUS CHARACTERISTICS (Q5055272) (← links)
- Dispersive Shallow Water Wave Modelling. Part II: Numerical Simulation on a Globally Flat Space (Q5158978) (← links)