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 |