Logic and Computation: Interactive Proof with Cambridge LCF: Cambridge Tracts in Theoretical Computer Science, cartea 2
Autor Lawrence C. Paulsonen Limba Engleză Paperback – 25 iul 1990
Din seria Cambridge Tracts in Theoretical Computer Science
- 20% Preț: 464.93 lei
- 20% Preț: 300.52 lei
- 20% Preț: 460.66 lei
- 20% Preț: 337.03 lei
- 20% Preț: 357.41 lei
- 20% Preț: 254.16 lei
- 20% Preț: 258.95 lei
- 20% Preț: 462.28 lei
- 20% Preț: 589.69 lei
- 11% Preț: 482.52 lei
- 20% Preț: 185.93 lei
- 20% Preț: 421.21 lei
- 20% Preț: 304.68 lei
- 20% Preț: 369.41 lei
- 20% Preț: 302.64 lei
- 20% Preț: 305.15 lei
- 20% Preț: 429.19 lei
- 20% Preț: 241.34 lei
- 20% Preț: 296.61 lei
- 20% Preț: 253.55 lei
- 20% Preț: 304.98 lei
- 20% Preț: 359.88 lei
- 20% Preț: 336.93 lei
- 20% Preț: 339.10 lei
- 20% Preț: 280.74 lei
- Preț: 353.44 lei
- 20% Preț: 316.98 lei
- 20% Preț: 340.70 lei
- 20% Preț: 262.71 lei
- 20% Preț: 408.72 lei
- 20% Preț: 263.88 lei
- 20% Preț: 580.38 lei
- 20% Preț: 385.62 lei
- 20% Preț: 367.06 lei
- 20% Preț: 253.07 lei
- 20% Preț: 369.29 lei
- 14% Preț: 843.63 lei
Preț: 358.43 lei
Preț vechi: 448.04 lei
-20% Nou
Puncte Express: 538
Preț estimativ în valută:
68.62€ • 74.35$ • 57.30£
68.62€ • 74.35$ • 57.30£
Carte tipărită la comandă
Livrare economică 12-26 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780521395601
ISBN-10: 0521395607
Pagini: 320
Dimensiuni: 187 x 247 x 19 mm
Greutate: 0.68 kg
Ediția:Revised
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Cambridge Tracts in Theoretical Computer Science
Locul publicării:Cambridge, United Kingdom
ISBN-10: 0521395607
Pagini: 320
Dimensiuni: 187 x 247 x 19 mm
Greutate: 0.68 kg
Ediția:Revised
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Cambridge Tracts in Theoretical Computer Science
Locul publicării:Cambridge, United Kingdom
Cuprins
Part I. Preliminaries: 1. Survey and history of LCF; 2. Formal proof in first order logic; 3. A logic of computable functions; 4. Structural induction; Part II. Cambridge LCF: 5. Syntactic operators for PPL; 6. Theory structure; 7. Axioms and interference rules; 8. Tactics and tacticals; 9. Rewriting and simplification; 10. Sample proofs; Bibliography; Index.
Recenzii
"This book is well-written: it is a good text for any reader who wants to become familiar with Cambridge LCF, or, in general, with machine assisted (formal) proof construction." Mathematical Reviews