|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
EB
|
|
|
ONLINE
|
|
|
|
|
|
Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2016
|
|
|
1 online resource (384 pages) : illustrations, tables
|
| Externí odkaz |
 Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
|
|
|
|
ISBN 9781501502620 (electronic bk.)
|
|
|
ISBN 9781501502644 (electronic bk.)
|
|
|
ISBN 9781501510809
|
|
|
Ontos Mathematical Logic, ISSN 2198-2341 ; Volume 6
|
|
|
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 ISBN 9781501510809
|
|
|
Includes bibliographical references at the end of each chapters
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
001853659
|
|
|
full
|
|
|
(Au-PeEL)EBL4644584
|
|
|
(CaONFJC)MIL947521
|
|
|
(CaPaEBR)ebr11247831
|
|
|
(MiAaPQ)EBC4644584
|
|
|
(OCoLC)958120545
|
Dotazy a připomínky