The following pages link to (Q5723177):
Displayed 13 items.
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras (Q1838960) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- Prädikatenlogik mit partiell definierten Funktionen II (Q4777259) (← links)
- Zur axiomatisierbarkeit von theorien in der schwachen logik der zweiten stufe (Q5549794) (← links)
- Eine Art von Gleichwertigkeit Zahlentheoretischer und Mengentheoretischer Axiomensysteme (Q5555687) (← links)
- Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen (Q5572299) (← links)
- Prädikatenlogik mit partiell definierten Funktionen (Q5617622) (← links)
- Modelltheoretische Untersuchungen in der Kripke-Semantik (Q5619087) (← links)
- Ganzgeschlossene und prädikatengeschlossene Logiken I (Q5623652) (← links)
- Metamathematische Begriffe in Standardtheorien (Q5625147) (← links)
- Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen (Q5628095) (← links)
- Überfür-fast-alle-Quantoren (Q5675696) (← links)
- A calculus for finitely satisfiable formulas with identity (Q5677452) (← links)