|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
EB
|
|
|
ONLINE
|
|
|
|
|
|
|
|
|
Boca Raton, Florida : CRC Press, 2015
|
|
|
1 online resource (386 pages)
|
| Externí odkaz |
 Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
|
|
|
|
ISBN 9781466564688 (e-book)
|
|
|
ISBN 9781466564664
|
|
|
Discrete Mathematics and its Applications
|
|
|
Print version: Bimbo, Katalin, 1963- Proof theory : sequent calculi and related formalisms. Boca Raton, Florida : CRC Press, c2015 x, 374 pages Discrete mathematics and its applications. ISBN 9781466564664
|
|
|
Includes bibliographical references
|
|
|
|
|
|
|
|
|
|
|
|
001770794
|
|
|
full
|
|
|
(Au-PeEL)EBL1605166
|
|
|
(CaONFJC)MIL694928
|
|
|
(CaPaEBR)ebr10907510
|
|
|
(MiAaPQ)EBC1605166
|
|
|
(OCoLC)888186535
|
Dotazy a připomínky