Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic and Computation

Name: Logic and Computation
Brand: Cambridge University Press
SKU: 02029497
Price: 27759 HUF
Availability: InStock
Author: Lawrence C. Paulson
ISBN: 9780521395601

Interactive Proof with Cambridge LCF

Lawrence C. Paulson

Language

English

Book Paperback

Libristo code: 02029497

Publishers Cambridge University Press, July 1990

This book is concerned with techniques for formal theorem-proving, with particular reference to Camb... Full description

Libristo code: 02029497

189 b

27 759 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

El proletario en Espa?a y el negro en Cuba Ramon J Espinosa

Paperback

4 516 Ft

Karlek och stalull: om att vaxa upp med en utvecklingsstord mamma Pipping

MP3

2 255 Ft

Morphologie der Familiennamen Fabian Fahlbusch

Hardback

177 868 Ft

Frankenstein Mary Shelley

Paperback

4 234 Ft

Fille Aux Bluets. Un Paysan de l'Ancien Regime D Hericault-C

Paperback

9 997 Ft

3000 Japanese Vocabulary Words for the JLPT Level 1 (Trilingue Japonais- Anglais- Chinois) ARK ACADEMY

Paperback

11 504 Ft

Technologische Spillover-Effekte als Determinanten des Wirtschaftswachstums. Jürgen Bitzer

Paperback

24 565 Ft

SchärenSegeln Claus Aktoprak

Paperback

8 689 Ft

Premeny Slovenska Ján Viazanička

Paperback

6 508 Ft

p dagogische Fachkraft und Professionalit t Marcus Damm

Hardback

22 925 Ft

Die Satanischen Essays Anton Sz. LaVey

Hardback

10 436 Ft

Gespräche mit Erzengel Michael. Bd.5 atara

Paperback

5 967 Ft

Contes rapides François Coppée

Paperback

5 232 Ft

Jenseits der Flammen Reinhart Brandau

Paperback

2 551 Ft

Schulische Mehrsprachigkeitsfoerderung in Schweden und Deutschland Kevin Niehaus

Paperback

13 866 Ft

Effiziente Rekonstruktion Und Alternative Spulentopologien F r Magnetic-Particle-Imaging Tobias Knopp

Paperback

25 998 Ft

Wohin mit meiner Wut? Dagmar Geisler

Hardback

4 908 Ft

Angststoerungen im jungeren Schulalter und Moeglichkeiten einer schulischen Intervention Steffanie Rosenhahn

Paperback

6 272 Ft

This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of program statements. Cambridge LCF is based on an earlier theorem-proving system, Edinburgh LCF, which introduced a design that gives the user flexibility to use and extend the system. A goal of this book is to explain the design, which has been adopted in several other systems. The book consists of two parts. Part I outlines the mathematical preliminaries, elementary logic and domain theory, and explains them at an intuitive level, giving reference to more advanced reading; Part II provides sufficient detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach.