UID:
almahu_9948326555402882
Format:
1 online resource (384 pages) :
,
illustrations, tables.
ISBN:
9781501502620 (e-book)
Series Statement:
Ontos Mathematical Logic, Volume 6
Additional Edition:
Print version: Concepts of proof in mathematics, philosophy, and computer science. Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, c2016 ISSN 2198-2341 ISBN 9781501510809
Language:
English
Keywords:
Electronic books.