Book chapter
A Paraconsistent Higher Order Logic
Language: | Undetermined |
---|---|
Publisher: | Springer Berlin Heidelberg |
Year: | 2004 |
ISSN: | 16113349 and 03029743 |
Types: | Book chapter |
DOI: | 10.1007/978-3-540-30210-0_5 |
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Book chapter
Language: | Undetermined |
---|---|
Publisher: | Springer Berlin Heidelberg |
Year: | 2004 |
ISSN: | 16113349 and 03029743 |
Types: | Book chapter |
DOI: | 10.1007/978-3-540-30210-0_5 |
Analysis