fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Logic in Computer Science

Logic in Computer Science

by Michael Huth

Logic programming (Computer science)Computer logic
0.0
Open Library
Open Library

About this book

This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.

Themes & subjects

Logic programming (Computer science)Computer logic

Author

Michael Huth

Pages

443

Read time

≈ 11h

Editions

3

Language

English

Publisher

Cambridge University Press

ISBN

9780511263200

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Logic in Computer Science

Logic programming · Computer logic

Logic in Computer Science

Mark Ryan

1999

Logic Programming '89

Congresses · Logic programming (Computer science)

Logic Programming '89

Logic Programming Conference (8th 1989 Tokyo, Japan)

1991

The Transparent Prolog machine

Logic programming (Computer science) · Prolog (Computer program language)

The Transparent Prolog machine

Marc Eisenstadt

1991

Logic and objects

Logic programming · Logic programming (Computer science)

Logic and objects

F. G. McCabe

1992

Programming right from the start with Visual Logic

BASIC (Computer program language) · Logic programming (Computer science)

Programming right from the start with Visual Logic

Thaddeus R. Crews

2004

DLP

Logic programming (Computer science) · Distributed processing

DLP

Anton Eliëns

1992

Foundations of Disjunctive Logic Programming

Logic programming (Computer science) · Logic programming

Foundations of Disjunctive Logic Programming

Jorge Lobo

1992

Logical Foundations of Computer Science

Mathematical Logic and Formal Languages · Symbolic and mathematical Logic

Logical Foundations of Computer Science

Sergei Artemov

2007

Logic functions and equations

Mathematics · Computer logic

Logic functions and equations

Christian Posthoff

2005

Fuzzy learning and applications

Programmable controllers · Fuzzy systems

Fuzzy learning and applications

Marco Russo

2000

Computational logic in multi-agent systems

Intelligent agents (Computer software) · Computer logic

Computational logic in multi-agent systems

João Leite

2004

Computer science logic

Computer logic · Congresses

Computer science logic

CSL 2008 (2008 Bertinoro, Italy)

2008

The logician and the engineer

Electrical engineers · Computer logic

The logician and the engineer

Paul J. Nahin

2012

Towards a design flow for reversible logic

Logic programming · Computer logic

Towards a design flow for reversible logic

Robert Wille

2010

Logical foundations for cognitive agents

Artificial intelligence · Computer logic

Logical foundations for cognitive agents

Fiora Pirri

1999

Computational logic in multi-agent systems

Intelligent agents (Computer software) · Computer logic

Computational logic in multi-agent systems

Katsumi Inoue

2006

New trends in fuzzy systems

Fuzzy systems · Congresses

New trends in fuzzy systems

International Joint Workshop on Current Issues Fuzzy Technologies/Methods amd Environments for Planning and Programming (1998 Naples, Italy)

1997

Computability

Computable functions · Logic, Symbolic and mathematical

Computability

Richard L. Epstein

1988