|
|
|
|
LEADER |
00704nam a2200169 4500 |
008 |
190411b ||||| |||| 00| 0 eng d |
999 |
|
|
|c 333905
|d 333905
|
020 |
|
|
|a 9781107168411
|
100 |
|
|
|a Hajek , Petr
|
245 |
|
|
|a Metamathematics of first - order arithmetic /
|c Petr Hajek ,Pavel Pudlak .
|
260 |
|
|
|a Cambridge :
|b Cambridge University Press ,
|c 1998 .
|
300 |
|
|
|a xiv , 460 p .
|
490 |
|
|
|a Perspective in logic .
|
700 |
|
|
|a Pudlak , Pavel.
|e Author .
|
942 |
|
|
|2 ddc
|c BK
|
952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|7 0
|9 381770
|a MAT
|b MAT
|c ST1
|d 2019-04-11
|i 7279
|l 0
|p MAT7279
|r 2019-04-11
|w 2019-04-11
|y BK
|
952 |
|
|
|0 0
|1 0
|4 0
|7 0
|9 403723
|a MAT
|b MAT
|c ST1
|d 2020-03-10
|e 2
|g 8462.16
|i 7588
|l 0
|p MAt7588
|r 2020-03-10
|v 11592.00
|w 2020-03-10
|y BK
|