|
|
|
|
LEADER |
00623nam a2200169Ia 4500 |
008 |
150624b xxu||||| |||| 00| 0 eng d |
020 |
|
|
|a 041521534X
|
020 |
|
|
|a 041521534X
|
082 |
|
|
|a 160
|
100 |
|
|
|a Restall, Greg
|
245 |
|
|
|a Introduction to substructural logics /
|c Greg Restall
|
260 |
|
|
|a London :
|b Routledge Publishers,
|c 2000.
|
300 |
|
|
|a 381 p.
|
505 |
|
|
|a 1. Proof theory 2. Propositional structures 3. Frames 4. Decidability 5. Coda.
|
942 |
|
|
|c BK
|
999 |
|
|
|c 51679
|d 51679
|
952 |
|
|
|0 0
|1 0
|4 0
|6 160_000000000000000_RES_I
|7 0
|9 51657
|a UL
|b UL
|c ST1
|d 2012-10-27
|l 3
|m 1
|o 160 RES/I
|p 74549
|r 2016-04-21
|s 2016-03-03
|w 2012-10-27
|y BK
|