Advances in natural deduction [electronic resource] : a celebration in Dag Prawitz's work / Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva, editors.
2014
BC71
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Advances in natural deduction [electronic resource] : a celebration in Dag Prawitz's work / Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva, editors.
ISBN
9789400775480 electronic book
9400775482 electronic book
9789400775473
9400775474
9400775482 electronic book
9789400775473
9400775474
Published
Dordrecht : Springer, [2014]
Language
English
Description
1 online resource.
Call Number
BC71
Dewey Decimal Classification
160
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Series
Trends in logic.
Available in Other Form
Linked Resources
Record Appears in