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
Metalogic

Metalogic

by Geoffrey Hunter

First order logicFirst-order logic
0.0
Open Library
Open Library

Themes & subjects

First order logicFirst-order logic

Author

Geoffrey Hunter

Pages

288

Read time

≈ 7h

Editions

5

Language

English

Publisher

University of California Press

ISBN

9780333115909

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

Truth-functions · First-order logic

Truth-functional logic

J. A. Faris

1962

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

Formal logic

First-order logic · Textbooks

Formal logic

Richard C. Jeffrey

1967

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

First-order logic

Mathematical Logic

Katalin Bimbo

2019

Logic, language-games and information

Logic · Inference

Logic, language-games and information

Jaakko Hintikka

1972

First-order logic · Symbolic and mathematical Logic

Classical First-Order Logic

Stewart Shapiro

2022

Duality and definability in first order logic

Duality theory (Mathematics) · First-order logic

Duality and definability in first order logic

Michael Makkai

1993

Semigroups · Algebraic logic

Semigroups underlying first-order logic

William Craig

2006