|
|
|
|
| LEADER |
00990nam a2200265 a 4500 |
| 001 |
1034319 |
| 005 |
20171111232349.0 |
| 008 |
030127m2000 gr erb 001 0 eng d |
| 020 |
|
|
|a 0198500483
|q paperback
|
| 020 |
|
|
|a 0198500491:
|c hardback
|
| 040 |
|
|
|a GrAtEKP.Mathimatiko
|b gre
|e AACR2
|
| 041 |
1 |
|
|a eng
|h fre
|
| 082 |
|
0 |
|2 22
|a 511.3
|
| 100 |
1 |
|
|a Cori, Rene
|
| 240 |
1 |
1 |
|a Logique mathe?matique
|l English
|
| 245 |
1 |
0 |
|a Marhematical logic :
|b a course with exercises /
|c Rene Cori and Daniel Lascar ; translated by Donald H. Pelletier
|
| 260 |
|
|
|a Oxford:
|b Oxford University Press,
|c 2000-
|
| 300 |
|
|
|a v. ;
|c 23 cm.
|
| 500 |
|
|
|a Translated from: Logique mathe?matique
|
| 504 |
|
|
|a Includes bibliography and Index
|
| 505 |
1 |
|
|a part 1. Propositional calculus, boolean algebras, predicate calculus
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|
| 700 |
1 |
|
|a Lascar, Daniel
|
| 700 |
1 |
|
|a Pelletier, Donald
|
| 952 |
|
|
|a GrAtEKP
|b 59ccd9356c5ad134460a2859
|c 998a
|d 945l
|e 511.3 CorR m 2000 1
|t 1
|x m
|z Books
|
