|
|
|
|
| LEADER |
01067nam a2200205 a 4500 |
| 001 |
556186 |
| 005 |
20171111230020.0 |
| 008 |
090831s2009 enka b 001 0 eng d |
| 020 |
|
|
|a 9780521899574 (hbk.)
|
| 040 |
|
|
|a UKM
|
| 050 |
|
|
|a QA76.9.L63
|b H375 2009
|
| 082 |
|
4 |
|2 22
|a 006.333
|
| 100 |
1 |
4 |
|a Harrison, J.
|d 1966-
|q (John),
|
| 245 |
1 |
4 |
|a Handbook of practical logic and automated reasoning /
|c John Harrison.
|
| 260 |
1 |
4 |
|a Cambridge :
|b Cambridge University Press,
|c 2009.
|
| 300 |
1 |
4 |
|a xix, 681 p. :
|b ill. ;
|c 26 cm.
|
| 504 |
1 |
4 |
|a Includes bibliographical references (p. 631-667) and index.
|
| 505 |
1 |
4 |
|a Preface; Ideological orientation; Acknowledgements; How to read this book; 1. Introduction; 2. Propositional logic; 3. First-order logic; 4. Equality; 5. Decidable problems; 6. Interactive theorem proving; 7. Limitations; Appendix 1. Mathematical background; Appendix 2. OCaml made light of; Appendix 3. Parsing and printing of formulas; References; Index.
|
| 650 |
1 |
4 |
|a Computer logic
|
| 952 |
|
|
|a GrThPMO
|b 59b018a46c5ad17d7e5ae49b
|c 952a
|d 9528
|e QA76.9.L63H375 2009
|t 7
|x m
|z Books
|
