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
Elements of Deductive Inference

Elements of Deductive Inference

by Joseph Bessie, Stuart Glennan

1999Predicate calculusMathematical logicScience/MathematicsMathematical And Symbolic LogicPhilosophy Of Mathematics
0.0
Open Library
Open Library

Themes & subjects

Predicate calculusMathematical logicScience/MathematicsMathematical And Symbolic LogicPhilosophy Of MathematicsMathematics
First published 1999

Authors

Joseph Bessie, Stuart Glennan

First published

1999

Pages

479

Read time

≈ 12h

Editions

3

Language

English

Publisher

Wadsworth Publishing

ISBN

9780534551216

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

Beginning logic

Predicate calculus · Textbooks

Beginning logic

E. J. Lemmon

1965

Technical Methods In Philosophy

Logic · Symbolic and mathematical Logic

Technical Methods In Philosophy

John Pollock

2019

Subsystems of second-order arithmetic

Predicate calculus · Calculus

Subsystems of second-order arithmetic

Stephen G. Simpson

1999

Worlds, times, and selves

Tense (Logic) · Modality (Logic)

Worlds, times, and selves

A. N. Prior

1977

Propositional and Predicate Calculus

Problems, exercises · Propositional calculus

Propositional and Predicate Calculus

Derek Goldrei

2005

Formal semantics and pragmatics for natural languages

Comparative and general Grammar · Tense (Logic)

Formal semantics and pragmatics for natural languages

Franz Guenthner

1979

The criminology of white-collar crime

White collar crimes · Criminology

The criminology of white-collar crime

Sally S. Simpson

2009

Predicate-oriented database search algorithms

Computer algorithms · Database management

Predicate-oriented database search algorithms

Dan E. Willard

1978

Computability and logic

Computable functions · Logic, Symbolic and mathematical

Computability and logic

George Boolos

1974

Logic Colloquium 2005

Congresses · Logic, Symbolic and mathematical

Logic Colloquium 2005

Logic Colloquium (2005 Athens, Greece)

2007

Analysis and logic

Symbolic and mathematical Logic · Mathematical analysis

Analysis and logic

C. Ward Henson

2002

Polynomial completeness in algebraic systems

Completeness theorem · Polynomials

Polynomial completeness in algebraic systems

Kalle Kaarli

2000

Fuzzy Logic with Engineering Applications

Engineering · Nonfiction

Fuzzy Logic with Engineering Applications

Timothy J. Ross

1995

Logic Colloquium '02

Congresses · Logic, Symbolic and mathematical

Logic Colloquium '02

Logic Colloquium '02 (2002 Münster, Germany)

2006

Logic Colloquium '99

Congresses · Logic, Symbolic and mathematical

Logic Colloquium '99

Logic Colloquium (1999 Utrecht, Netherlands)

2004

Continuous lattices and domains

Continuous lattices · Algebra

Continuous lattices and domains

Gerhard Gierz

2003

Finite model theory

Model theory · Logica

Finite model theory

Heinz-Dieter Ebbinghaus

1995

Mathematical thinking

Mathematics · Problem solving

Mathematical thinking

John P. D'Angelo

1996