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 FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 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 for Applications, 1

Name: Logic for Applications, 1
Brand: Springer, Berlin
SKU: 02016206
Price: 19578 HUF
Availability: InStock
Author: Anil Nerode
ISBN: 9781461268550

Anil Nerode

Richard A. Shore

Language

English

Book Paperback

Libristo code: 02016206

Publishers Springer, Berlin, September 2012

This textbook provides a first introduction to mathematical logic which is closely attuned to the ap... Full description

Libristo code: 02016206

133 b

19 578 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Norsko Phil Lee

Map

5 385 Ft

História Alegre de Portugal Manuel Pinheiro Chagas

Paperback

7 412 Ft

UNE ANALYSE DE L'EXPERIENCE DE VIE DES TRAVAILLEURS DE HARITHA KARMA SENA JILUMOL M V

Paperback

15 250 Ft

CATHEDRAL CITY VIOLONCELLE JOHN GRAVES Printed items

Sheet music

4 443 Ft

Zástup Basma Abd al-Azíz

Paperback

4 722 Ft

KAIF: O stopování, kalašnikovech a japonském pornu Tony Danilov

Hardback

3 502 Ft

EUROPA EN CRISIS, 1598-1648 NOEL G. PARKER

Hardback

9 620 Ft

Legende von Wasgo Band 2 Michael Rusch

Paperback

4 940 Ft

Freund oder Feind: Das Doppelleben der Mikroglia in unserem Gehirn Imke Brodersen

Paperback

7 973 Ft

Resimli Türkce Sözlük Kolektif

Paperback

3 942 Ft

Chemie 8 Příručka učitele pro základní školy a víceletá gymnázia Pavel Doulík

Paperback

9 077 Ft

Facharztprüfung Dermatologie Thomas Dirschka

Paperback

30 668 Ft

Retour de Madrid A Paris En 1834: Souvenirs Du Cholera Viardot-L

Paperback

5 237 Ft

Identidad Profesional de las Docentes de Preescolar Sandra Elena Amaya Martínez

Paperback

13 576 Ft

Das Havelland um Rathenow und Premnitz Sebastian Kinder

Hardback

15 250 Ft

Arbeit an sich selbst Rudolf Steiner

Paperback

2 189 Ft

This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditional topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic - which are becoming increasingly important in computer science. No previous exposure to logic is assumed and so this will be suitable for upper level undergraduates or beginning graduate students in computer science or mathematics.§From reviews of the first edition : "... must surely rank as one of the most fruitful textbooks introduced into computer science ... We strongly suggest it as a textbook ..." §SIGACT News