Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publikacje
Czasopismo: Studia Logica
Liczba publikacji: 13
2016
2014
2011
2009
2007
- D. Gabbay i Andrzej Szałas, Second-order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals, Studia Logica 87 2007, s. 37–50.zobacz w PBN
2001
2000
1995
1993
1985
1983