TV Shows Anime Top 250 TV Top 100 Anime

Books Manga Top 125 Books Top 100 Manga

For you Trending Tier Lists The Archive Leaderboard

Log in Sign up free

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

Home FeedProfile

Logical methods

Logical methods

by Anil Nerode, John N. Crossley

Logic programmingSymbolic and mathematical LogicLogic, symbolic and mathematical

0.0

Open Library

Themes & subjects

Logic programmingSymbolic and mathematical LogicLogic, symbolic and mathematical

Characters & people

About the author

1932

Authors

Anil Nerode, John N. Crossley

Pages

813

Read time

≈ 20h

Editions

1

Language

English

Publisher

Springer

ISBN

9781461203254

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 for programming artificial intelligence and reasoning

Logic programming · Congresses

Logic for programming artificial intelligence and reasoning

2003

Foundations of Probabilistic Logic Programming

Logic programming · Machine theory

Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi

2018

Discrete structures, logic, and computability

Computable functions · Computer science

Discrete structures, logic, and computability

1994

Handbook of logic in artificial intelligence and logic programming

Logic programming · Symbolic and mathematical Logic

Handbook of logic in artificial intelligence and logic programming

1993

The experience of literature

Literature · Collections

The experience of literature

Lionel Trilling

1967

Rules and Reasoning

Semantics · Programming languages (electronic computers)

Rules and Reasoning

Stefania Costantini

2017

Logic functions and equations

Mathematics · Computer logic

Logic functions and equations

Christian Posthoff

2005

Heritage of Western civilization

Civilization · Collections

Heritage of Western civilization

John Louis Beatty

1958

Constraint logic programming using ECLiPSe

Logic programming · Constraint programming (Computer science)

Constraint logic programming using ECLiPSe

Krzysztof R. Apt

2006

Programming with higher-order logic

Logic programming · Prolog (Computer program language)

Programming with higher-order logic

2012

Mathematical Aspects Of Logic Programming Semantics

Logic programming · Programming languages (electronic computers)

Mathematical Aspects Of Logic Programming Semantics

2010

Logic Programming

Automatic theorem proving · Logic programming

Logic Programming

James H. Andrews

1992

Tractatus logico-philosophicus

Analysis (Philosophy) · Language

Tractatus logico-philosophicus

Ludwig Wittgenstein

1921

An Investigation of the Laws of Thought (Barnes & Noble)

Symbolic and mathematical Logic · Thought and thinking

An Investigation of the Laws of Thought (Barnes & Noble)

1854

Algèbre de la logique

Algebraic logic · Symbolic and mathematical Logic

Algèbre de la logique

1905

The Game of Logic

Symbolic and mathematical Logic · Logic

The Game of Logic

1886

Gödel's proof

Gödel's theorem · Mathematics

Gödel's proof

1958

Philosophische Untersuchungen

German Philosophy · Langage et langues

Philosophische Untersuchungen

Ludwig Wittgenstein

1953