The following pages link to (Q4483062):
Displaying 6 items.
- Untersuchungen zum Entscheidungsproblem der mathematischen Logik (Q1839892) (← links)
- Sur les formes normales (Q2651856) (← links)
- Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen (Q4182709) (← links)
- Putnam’s Theorem on the Complexity of Models (Q5214674) (← links)
- False lemmas in Herbrand (Q5331469) (← links)
- Untersuchungen zum Entscheidungsproblem der mathematischen Logik. (Q6031453) (← links)