The following pages link to Johannes Czermak (Q1220482):
Displaying 6 items.
- A remark on Gentzen's calculus of sequents (Q1220483) (← links)
- (Q1233016) (redirect page) (← links)
- Embeddings of classical logic in S4 (Q1233017) (← links)
- Embeddings of classical logic in S4. II (Q1238798) (← links)
- A logical calculus with descriptions (Q1844821) (← links)
- Matrix calculi SS1M and SS1I compared with axiomatic systems (Q2558296) (← links)
