The following pages link to Helmut Thiele (Q209326):
Displaying 5 items.
- Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten (Q3239286) (← links)
- Vollständigkeit im Stufenkalkül (Q3246318) (← links)
- Theorie der endlichwertigen Łukasiewiczschen Prädikatenkalküle der ersten Stufe (Q3261413) (← links)
- (Q3335020) (← links)
- (Q3339281) (← links)
