|
|
|
|
| LEADER |
00738nam a2200217 a 4500 |
| 001 |
1065247 |
| 005 |
20171111232415.0 |
| 008 |
031113s1978 gr erb 001 0 eng d |
| 020 |
|
|
|a 0540087389
|
| 040 |
|
|
|a GrAtEKP.Mathimatiko
|b gre
|e AACR2
|
| 082 |
|
0 |
|2 22
|a 511.3
|
| 100 |
1 |
|
|a Ha?jek, Petr
|
| 245 |
1 |
0 |
|a Mechanizing hypothesis formation :
|b mathematical foundations for a general theory /
|c P. Ha?jek, T. Havra?nek
|
| 260 |
|
|
|a Berlin:
|b Springer,
|c 1978
|
| 300 |
|
|
|a 396 p. ;
|c 24 cm.
|
| 504 |
|
|
|a Includes index
|
| 504 |
|
|
|a Includes bibliography
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|
| 650 |
|
0 |
|a Mathematical logic
|
| 700 |
1 |
|
|a Harvra?nek, Tomas
|
| 952 |
|
|
|a GrAtEKP
|b 59ccde836c5ad134460abfef
|c 998a
|d 945l
|e 511.3 HajP m 1978
|t 1
|x m
|z Books
|
