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
Tallennettuna:
| Ulkoasu |
Julkaistu myös verkkoaineistona ISBN 978-952-10-9787-4 (PDF) vii, 191 sivua : kuvitettu ; 25 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Helsinki :
University of Helsinki,
2014
|
| Opinnäyte | Väitöskirja : Helsingin yliopisto, matemaattis-luonnontieteellinen tiedekunta, 2014 |
| Luokitus | |
| Aiheet | |
| Valmistaja | (Helsinki : Unigrafia). |
| Lisätiedot | Fan Yang |
| Verkkoaineisto |
978-9521097874 |
| Bibliografia |
Sisältää bibliografisia lähdeviitteitä ja hakemiston. |
| ISBN |
978-952-10-9786-7 nidottu |
| Hae kokoteksti | |