Pages that link to "Giorgi Japaridze"
Showing 26 items.
- Intuitionistic logic (links | edit)
- Arithmetical hierarchy (links | edit)
- List of logicians (links | edit)
- Index of philosophy articles (D–H) (links | edit)
- Computability logic (links | edit)
- Game semantics (links | edit)
- Interpretability logic (links | edit)
- Provability logic (links | edit)
- Interpretability (links | edit)
- Cointerpretability (links | edit)
- Tolerant sequence (links | edit)
- Interactive computation (links | edit)
- Weak interpretability (links | edit)
- Giorgi Japaridze (transclusion) (links | edit)
- Logics for computability (links | edit)
- Japaridze (links | edit)
- Dialogical logic (links | edit)
- Japaridze's polymodal logic (links | edit)
- Cirquent calculus (links | edit)
- List of Georgian television series (links | edit)
- Talk:Giorgi Japaridze (transclusion) (links | edit)
- User:Gregbard/old watchlist (links | edit)
- User:Tony Sidaway/Living people/tranche 031 (links | edit)
- User:Mdupont/WatchList (links | edit)
- User:XXN/archive (links | edit)
- Wikipedia:WikiProject TypoScan/Manual/013 (links | edit)