Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster.
2016
QA9.54 .C663 2016eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster.
ISBN
9781501510809
9781501502620 (electronic book)
9781501502644 (epub)
9781501502620 (electronic book)
9781501502644 (epub)
Published
Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2016.
Copyright
©2016
Language
English
Description
1 online resource (384 pages) : illustrations.
Call Number
QA9.54 .C663 2016eb
Dewey Decimal Classification
511.3/6
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Series
Ontos mathematical logic ; Volume 6.
Available in Other Form
Linked Resources
Record Appears in