Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster.
Material type: BookSeries: Ontos mathematical logic: Volume 6.Publisher: Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2016Copyright date: �2016Description: 1 online resource (384 pages) : illustrations, tables.Content type: text Media type: computer Carrier type: online resourceISBN: 9781501502620 (e-book).Subject(s): Proof theory | Mathematics | Logic, Symbolic and mathematicalGenre/Form: Electronic books.DDC classification: 511.3/6 Online resources: An electronic book accessible through the World Wide Web; click to viewItem type | Current location | Collection | Call number | URL | Copy number | Status | Date due | Item holds |
---|---|---|---|---|---|---|---|---|
E-book | IUKL Library | Subscripti | http://site.ebrary.com/lib/kliuc/Doc?id=11247831 | 1 | Available |
Total holds: 0
Includes bibliographical references at the end of each chapters.
Description based on print version record.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
There are no comments for this item.