Filter your results
Format »
Author »
Publication Title »
Subject »
- 03B60 (1)
- 03F05 (1)
Keyword »
- cut-elimination (1)
- kripke semantics (1)
- sequent calculus (1)
- You have access to this content.
- You have partial access to this content.
- You do not have access to this content.
Search results
Show search tips »
Search tips
- Exact phrase search: Use quotes, e.g. "integral equations"
- Wildcard search: Use asterisk, e.g. topo*
- Subject search: Truncate MSC codes with wildcard, e.g. 14A15 or 14A*
- Author search: Sequence does not matter; use of first name or initial varies by journal, e.g. harris john or t arens
- Diacritics: Drop diacritics, e.g. gotz finds Götz
- More tips
Showing 1-1 of 1 result
Select/deselect all
Select/deselect all