|
|
|
|
| LEADER |
00997nam a2200313 i 4500 |
| 001 |
NSK01000920628 |
| 003 |
HR-ZaNSK |
| 005 |
20160127093853.0 |
| 007 |
ta |
| 008 |
151217s2012 xxu 001 0 eng |
| 020 |
|
|
|a 9780521517690
|
| 035 |
|
|
|a (HR-ZaNSK)000920628
|
| 040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
| 080 |
1 |
|
|a 168.3
|2 MRF 2011.
|
| 080 |
1 |
|
|a 164
|2 MRF 2011.
|
| 080 |
1 |
|
|a 517.5
|2 MRF 2011.
|
| 100 |
1 |
|
|a Schwichtenberg, Helmut
|
| 245 |
1 |
0 |
|a Proofs and computations /
|c Helmut Schwichtenberg, Stanley S. Wainer.
|
| 250 |
|
|
|a 1st published.
|
| 260 |
|
|
|a Ithaca :
|b Association for Symbolic Logic ;
|a New York :
|b Cambridge University Press,
|c 2012.
|
| 300 |
|
|
|a XIII, 465 str. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Perspectives in logic : PIL
|
| 504 |
|
|
|a Bibliografija: str. 431-455.
|
| 504 |
|
|
|a Kazalo.
|
| 650 |
|
7 |
|a Teorija dokaza
|2 nskps
|
| 650 |
|
7 |
|a Izračunljive funkcije
|2 nskps
|
| 700 |
1 |
|
|a Wainer, Stanley S.
|
| 760 |
1 |
8 |
|t Perspectives in logic : PIL
|
| 998 |
|
|
|m eemk1601
|c rjko160127
|
