Logic, Construction, Computation / / ed. by Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger.
Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those asp...
Saved in:
| Superior document: | Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 |
|---|---|
| MitwirkendeR: | |
| HerausgeberIn: | |
| Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2013] ©2012 |
| Year of Publication: | 2013 |
| Language: | English |
| Series: | Ontos Mathematical Logic ,
3 |
| Online Access: | |
| Physical Description: | 1 online resource (542 p.) :; Zahlr. Abb. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|