|
|
|
|
| LEADER |
01080nam a2200301 a 4500 |
| 001 |
1291703 |
| 005 |
20171111232727.0 |
| 008 |
991008m1987 gr erb 001 0 eng d |
| 020 |
|
|
|a 354015521X
|
| 040 |
|
|
|a GrAtEKP.Mathimatiko
|b gre
|e AACR2
|
| 082 |
|
0 |
|2 22
|a 016.5113
|
| 245 |
0 |
0 |
|a Ω-Bibliography of mathematical logic/
|c edited by Gert H. Mu?ller
|
| 260 |
|
|
|a Berlin:
|b Springer Verlag,
|c 1987
|
| 300 |
|
|
|a v. ;
|c 28 cm.
|
| 490 |
0 |
|
|a Perspectives in Mathematical Logic (Springer Verlag) / R.O. Gandy, H. Hermes, A. Levy, G.H. Muller
|
| 500 |
|
|
|a Bibliographic guide
|
| 504 |
|
|
|a Includes index
|
| 505 |
1 |
|
|a v.1. Classical logic
|
| 505 |
1 |
|
|a v.2. Non-Classical Logics/Wolfang Rautenberg
|
| 505 |
1 |
|
|a v.3. Model theory
|
| 505 |
1 |
|
|a v.4. Recursion theory
|
| 505 |
1 |
|
|a v.5. Set theory
|
| 505 |
1 |
|
|a v.6. Proof theory. Constructive mathematics
|
| 650 |
|
0 |
|a Logic, symbolic and mathematical
|
| 650 |
|
0 |
|a Logic
|
| 700 |
1 |
|
|a Mu?ller, Gert Heinz,
|
| 700 |
1 |
|
|a Rautenberg, Wolfang,
|
| 952 |
|
|
|a GrAtEKP
|b 59cd0d696c5ad134460e6bfc
|c 998a
|d 945l
|e 016.5113 MulG ω 1987 1
|t 6
|x m
|z Books
|
