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
Formal logic

Formal logic

by Richard C. Jeffrey

First-order logicTextbooksLogicMathematische LogikEinfu˜hrung
0.0
Open Library
Open Library

Themes & subjects

First-order logicTextbooksLogicMathematische LogikEinfu˜hrung

Author

Richard C. Jeffrey

Pages

198

Read time

≈ 5h

Editions

5

Language

English

Publisher

McGraw-Hill

ISBN

9780070323162

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

First-order logic

First-order logic · Logic, Symbolic and mathematical

First-order logic

Raymond M. Smullyan

1968

Independence-friendly logic

First-order logic · Game theory

Independence-friendly logic

Allen L. Mann

2011

The art of logic in an illogical world

Reasoning · Logic

The art of logic in an illogical world

Eugenia Cheng

2018

Metalogic

First order logic · First-order logic

Metalogic

Geoffrey Hunter

1971

The language of first-order logic

First-order logic · Tarski's world

The language of first-order logic

Barwise, Jon.

1990

First order mathematical logic

First-order logic · Logic, symbolic and mathematical

First order mathematical logic

Angelo Margaris

1967

Technical Methods In Philosophy

Logic · Symbolic and mathematical Logic

Technical Methods In Philosophy

John Pollock

2019

Logic, language-games and information

Logic · Inference

Logic, language-games and information

Jaakko Hintikka

1972

Duality and definability in first order logic

Duality theory (Mathematics) · First-order logic

Duality and definability in first order logic

Michael Makkai

1993

Julius Caesar

Antoine (Marcus Antonius) · Assassination

Julius Caesar

William Shakespeare

1656

The Autobiography of Benjamin Franklin

Wills · Scientists

The Autobiography of Benjamin Franklin

Benjamin Franklin

1791

As You Like It

Drama · Fathers and daughters

As You Like It

William Shakespeare

1734

Commentarii de bello gallico et de bello civili

Ancient Military history · Gaul

Commentarii de bello gallico et de bello civili

Gaius Julius Caesar

1471

Heinemann Mathematics

Mathematics · Study and teaching (Primary)

Heinemann Mathematics

Scottish Primary Mathematics Group

1983

Advances in Heterocyclic Chemistry

Heterocyclic chemistry · Textbooks

Advances in Heterocyclic Chemistry

Alan R. Katritzky

1963

Principles of Anatomy and Physiology

Anatomie humaine · Anatomy

Principles of Anatomy and Physiology

Gerard J. Tortora

1975

The History of England from the accession of James the Second

History · William and Mary, 1689-1702

The History of England from the accession of James the Second

Thomas Babington Macaulay

1800

The English Tongue

English · Early works to 1800

The English Tongue

Thomas Dilworth

1740