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
Reductive logic and proof-search

Reductive logic and proof-search

by David J. Pym, Eike Ritter

Proof theorySymbolic and mathematical LogicLogicSemantics
0.0
Open Library
Open Library

Themes & subjects

Proof theorySymbolic and mathematical LogicLogicSemantics

Authors

David J. Pym, Eike Ritter

Pages

232

Read time

≈ 6h

Editions

5

Language

English

Publisher

Oxford University Press

ISBN

9781435620780

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

Mathematical proofs

Mathematics · Problems, exercises

Mathematical proofs

Daniel Solow

1982

Analysis

Mathematical analysis · Proof theory

Analysis

Steven R. Lay

1986

Four Colours Suffice

History · Four-color problem

Four Colours Suffice

Robin J. Wilson

2002

The nuts and bolts of proofs

Proof theory

The nuts and bolts of proofs

Antonella Cupillari

1989

Mathematical proofs

Proof theory · Textbooks

Mathematical proofs

Gary Chartrand

2002

History of Mathematical Proof in Ancient Traditions

Philosophy · Ancient Mathematics

History of Mathematical Proof in Ancient Traditions

Karine Chemla

2012

How to prove it

Mathematics · Nonfiction

How to prove it

Daniel J. Velleman

1994

Introduction to Mathematical Proofs

Paramilitary forces · History

Introduction to Mathematical Proofs

Nicholas A. Loehr

2019

Transition to Analysis with Proof

Mathematical analysis · Logic, symbolic and mathematical

Transition to Analysis with Proof

Steven Krantz

2017

The incompleteness phenomenon

Incompleteness theorems · Constructive mathematics

The incompleteness phenomenon

Martin Goldstern

1995

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)

George Boole

1854

Algèbre de la logique

Algebraic logic · Symbolic and mathematical Logic

Algèbre de la logique

Louis Couturat

1905

The Game of Logic

Symbolic and mathematical Logic · Logic

The Game of Logic

Lewis Carroll

1886

Gödel's proof

Gödel's theorem · Mathematics

Gödel's proof

Ernest Nagel

1958

Philosophische Untersuchungen

German Philosophy · Langage et langues

Philosophische Untersuchungen

Ludwig Wittgenstein

1953

Mathematics and plausible reasoning

Symbolic and mathematical Logic · Textbooks

Mathematics and plausible reasoning

George Pólya

1954

Gödel, Escher, Bach

Logics · Teoria Do Conhecimento

Gödel, Escher, Bach

Douglas R. Hofstadter

1979