Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
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
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic for Computer Science

Foundations of Automatic Theorem Proving, Second Edition

Language EnglishEnglish
Book Paperback
Book Logic for Computer Science Jean Gallier
Libristo code: 02569839
Publishers Dover Publications Inc., June 2015
This advanced text for undergraduate and graduate students introduces mathematical logic with an emp... Full description
? points 67 b
9 767 Ft
50 % chance We search the world When will I receive my book?

30-day return policy

Customers also purchased

Le lieutenant Déodat Claude Le Borgne / Book Paperback
common.buy 8 463 Ft
Erklarung der Tier-Namen aus allen Sprachgebieten August von Edlinger / Book Paperback
common.buy 10 376 Ft
Fuhrung und Selbstorganisation Heidi Hentschke / Book Paperback
common.buy 28 707 Ft
Vermoegensubertragungen nach dem Unternehmenssteuerfortentwicklungsgesetz Frank Schulze Topphoff / Book Paperback
common.buy 28 025 Ft
Top
Jak mówić, żeby maluchy nas słuchały. Poradnik przetrwania dla rodziców dzieci w wieku 2-7 lat wyd. 2 Joanna Faber / Book Paperback
common.buy 3 002 Ft
Hanako-kun. I 7 misteri dell'Accademia Kamome Aida Iro / Book Paperback
common.buy 2 668 Ft
Procesadores de textos y presentaciones de información básicos. UF0510 (MF0974_1) Certificado de Pro Obra colectiva / Book Paperback
common.buy 13 831 Ft
Highlights Schweiz Gotlind Blechschmidt / Book Hardback
common.buy 10 435 Ft
LA DICTEE EN MUSIQUE VOL.4 - CORRIGE CHEPELOV P/MENUT B Book Book
common.buy 4 092 Ft
Elephantine XXXVI. Der ptolemäische Satettempel und seine Nebenanlagen und die Treppenanlage des nördlichen Sakralbezirks Horst Jaritz / Book Hardback
common.buy 92 728 Ft
Benny Blu - Müll Christiane Neumann / Book Sheet
common.buy 1 437 Ft
Smrt v záři neonů Libor Machala / Book Paperback
common.buy 2 133 Ft
Normański rycerz 950-1204 Gravett Christopher / Book Paperback
common.buy 3 149 Ft
Meine Bibel zur Erstkommunion Martin Polster / Book Hardback
common.buy 4 934 Ft

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and foundations of automatic theorem proving. 2003 edition.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Logic for Computer Science
Author Jean Gallier
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 544
EAN 9780486780825
ISBN 0486780821
Libristo code 02569839
Publishers Dover Publications Inc.
Weight 758
Dimensions 158 x 237 x 35

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Introduction to Lattices and Order B. A. Davey / Book Paperback
common.buy 23 191 Ft
You Are Positively Awesome STACIE SWIFT / Book Hardback
common.buy 5 227 Ft
ANNUAL REPORT, VOLUME 37 NEW JERSEY. BUREAU O / Book Hardback
common.buy 12 701 Ft
Maginot Line Gun Turrets Clayton Donnell / Book Paperback
common.buy 5 735 Ft
Pinup Alternative Magazine: Issue 1 Jason Kamimura / Book Paperback
common.buy 5 978 Ft
Little Grey Men B.B / Book Paperback
common.buy 3 657 Ft
Digital Marketing Annmarie Hanlon / Book Paperback
common.buy 15 703 Ft
Top
Court of Thorns and Roses Collector's Edition Sarah Janet Maas / Book Hardback
common.buy 10 811 Ft
Artful Maths Teacher Book Clarissa Grandi / Book Hardback
common.buy 6 572 Ft
Iran-Contra Malcolm Byrne / Book Paperback
common.buy 16 678 Ft
Powerful Patty McCord / Book Paperback
common.buy 2 655 Ft
Top
Liberated Mind STEVEN C. PHD HAYES / Book Paperback
common.buy 6 110 Ft
Top
Life is Strange 1-3 Boxed Set Emma Vieceli / Book Paperback
common.buy 14 454 Ft
You Never Forget Your First Alexis Coe / Book Paperback
common.buy 5 529 Ft
Top
How to Teach Kids Anything Peter Hollins / Book Paperback
common.buy 6 330 Ft
Top
Balenciaga – Kublin Ana Balda / Book Hardback
common.buy 18 477 Ft
The Obstacle Is the Way 10th Anniversary Edition Holiday / Book Paperback
common.buy 8 563 Ft
Top
The Angel Next Door Spoils Me Rotten, Vol. 7 (Light Novel) Nicole Wilder / Book Paperback
common.buy 4 687 Ft
Top
Fantasy Houses Carla Kamphuis / Book Paperback
common.buy 5 891 Ft
New
Advances in Oncology, 2026 Leonidas C. Platanias / Book Hardback
common.buy 73 528 Ft
Three Dark Crowns Kendare Blake / Book Paperback
common.buy 3 382 Ft
Top
Wonder R. J. Palacio / Book Paperback
common.buy 3 089 Ft
Lattices and Ordered Algebraic Structures T.S. Blyth / Book Paperback
common.buy 26 587 Ft
Top
Life in a Medieval Village GIES FRANCES / Book Paperback
common.buy 4 440 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?