Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Available items only
32000 results found. Sorted by relevance | date | title .

Title Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster.

Publication Info. Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2016.


Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description 1 online resource (384 pages) : illustrations, tables.
text rdacontent
computer rdamedia
online resource rdacarrier
Series Ontos Mathematical Logic, 2198-2341 ; Volume 6
Ontos mathematical logic ; Volume 6.
Bibliography Includes bibliographical references at the end of each chapters.
Note Description based on print version record.
Reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject Proof theory.
Logic, Symbolic and mathematical.
Genre/Form Electronic books.
Other Form: Print version: Concepts of proof in mathematics, philosophy, and computer science. Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, c2016 x, 374 pages Ontos Mathematical Logic ; Volume 6 2198-2341 9781501510809 2016030276
ISBN 9781501510809
9781501502620 (e-book)
9781501502644 (EPUB)

Available items only