Coverart for item
The Resource Concepts of proof in mathematics, philosophy, and computer science, edited by Dieter Probst and Peter Schuster, (electronic book)

Concepts of proof in mathematics, philosophy, and computer science, edited by Dieter Probst and Peter Schuster, (electronic book)

Label
Concepts of proof in mathematics, philosophy, and computer science
Title
Concepts of proof in mathematics, philosophy, and computer science
Statement of responsibility
edited by Dieter Probst and Peter Schuster
Subject
Language
eng
Member of
Cataloging source
MiAaPQ
Dewey number
511.3/6
Illustrations
illustrations
Index
no index present
LC call number
QA9.54
LC item number
.C663 2016
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Ontos Mathematical Logic
Series volume
6
http://library.link/vocab/subjectName
  • Proof theory
  • Mathematics
  • Logic, Symbolic and mathematical
Label
Concepts of proof in mathematics, philosophy, and computer science, edited by Dieter Probst and Peter Schuster, (electronic book)
Instantiates
Publication
Copyright
Bibliography note
Includes bibliographical references at the end of each chapters
Carrier category
online resource
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type MARC source
rdacontent
Control code
EBC4644584
Dimensions
unknown
Extent
1 online resource (384 pages)
Form of item
online
Isbn
9781501502620
Media category
computer
Media MARC source
rdamedia
Other physical details
illustrations, tables.
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote
Label
Concepts of proof in mathematics, philosophy, and computer science, edited by Dieter Probst and Peter Schuster, (electronic book)
Publication
Copyright
Bibliography note
Includes bibliographical references at the end of each chapters
Carrier category
online resource
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type MARC source
rdacontent
Control code
EBC4644584
Dimensions
unknown
Extent
1 online resource (384 pages)
Form of item
online
Isbn
9781501502620
Media category
computer
Media MARC source
rdamedia
Other physical details
illustrations, tables.
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote

Library Locations

Processing Feedback ...