|
|
|
|
| LEADER |
00793 a2200217 4500 |
| 005 |
20151026133418.0 |
| 008 |
150401b xxu||||| |||| 00| 0 eng d |
| 020 |
|
|
|a 9781466564664
|
| 080 |
|
|
|a 510.6
|b BIM
|
| 100 |
|
|
|a Bimbo, Katalin
|
| 245 |
|
|
|a Proof theory
|b sequent calculi and related formalisms
|
| 260 |
|
|
|c 2015
|b CRC press
|a Boca Raton
|
| 300 |
|
|
|a x, 376p.
|
| 490 |
|
|
|a Discrete mathematics and its applications
|
| 653 |
|
|
|a Proof theory
|
| 653 |
|
|
|a Non classical logic
|
| 653 |
|
|
|a Display calculi
|
| 942 |
|
|
|c BK
|6 _
|
| 999 |
|
|
|c 70430
|d 70430
|
| 952 |
|
|
|0 0
|1 0
|2 udc
|4 0
|6 5106_BIM
|7 0
|9 82504
|a UL
|b UL
|d 2015-02-16
|g 0.00
|o 510.6 BIM
|p 00072959
|r 2015-02-25
|v 0.00
|w 2015-02-16
|y BK
|
| 952 |
|
|
|0 0
|1 0
|2 udc
|4 0
|6 5106_BIM1
|7 0
|9 82505
|a UL
|b UL
|d 2015-09-15
|o 510.6 BIM;1
|p 00072814
|r 2015-09-15
|w 2015-09-15
|y BK
|