On extensions and variants of dependence logic : a study of intuitionistic connectives in the team semantics setting
On extensions and variants of dependence logic : a study of intuitionistic connectives in the team semantics setting
Saved in:
| Physical Description |
Julkaistu myös verkkoaineistona ISBN 978-952-10-9787-4 (PDF) vii, 191 sivua : kuvitettu ; 25 cm |
|---|---|
| Language |
English |
| Publisher |
Helsinki :
University of Helsinki,
2014
|
| Dissertation Note | Väitöskirja : Helsingin yliopisto, matemaattis-luonnontieteellinen tiedekunta, 2014 |
| Classification | |
| Subjects | |
| Manufacturer | (Helsinki : Unigrafia). |
| Additional Information | Fan Yang |
| Verkkoaineisto |
978-9521097874 |
| Bibliography |
Sisältää bibliografisia lähdeviitteitä ja hakemiston. |
| ISBN |
978-952-10-9786-7 nidottu |
| Get full text | |