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
Natural deduction

Natural deduction

by John Mueller Anderson

MetamathematicsSymbolic and mathematical LogicAxiomLogik
0.0
Open Library
Open Library

Themes & subjects

MetamathematicsSymbolic and mathematical LogicAxiomLogik

About the author

John Mueller Anderson

29 July 1914 – 3 Dec 1999

John Mueller Anderson (July 29, 1914 – December 3, 1999) was an American philosopher.[1] He was known for his expertise on post-Kantian philosophy, philosophy of art and logic.[2][3][4] Anderson was Evan Pugh Professor of Philosophy at the Pennsylvania State University.[5]

Author

John Mueller Anderson

Pages

418

Read time

≈ 10h

Editions

4

Language

English

Publisher

Wadsworth Pub. Co.

ISBN

9781013382604

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

Gödel's proof

Gödel's theorem · Mathematics

Gödel's proof

Ernest Nagel

1958

Gödel, Escher, Bach

Logics · Teoria Do Conhecimento

Gödel, Escher, Bach

Douglas R. Hofstadter

1979

Metamagical Themas

Intellect · Self (Philosophy)

Metamagical Themas

Douglas R. Hofstadter

1985

How to Bake Pi

abstraction · category theory

How to Bake Pi

Eugenia Cheng

2015

Introduction to metamathematics

Metamathematics · Mathematics

Introduction to metamathematics

Stephen Cole Kleene

1952

The Mathematics of Logic

Symbolic and mathematical Logic · Completeness theorem

The Mathematics of Logic

Richard W. Kaye

2007

Metamathematics of first-order arithmetic

Metamathematics · Logic, symbolic and mathematical

Metamathematics of first-order arithmetic

Petr Hájek

1993

Foundations of mathematics

Metamathematics · Numerical analysis

Foundations of mathematics

Erwin Engeler

1993

Metamathematics and the Philosophical Tradition

Philosophy · Metamathematics

Metamathematics and the Philosophical Tradition

William Boos

2018

Theory of Formal Systems

Metamatemática · Funciones recursivas

Theory of Formal Systems

Raymond M. Smullyan

1961

Mechanism, Mentalism and Metamathematics

Metamathematics · Proof theory

Mechanism, Mentalism and Metamathematics

J. Webb

2010

Logic, semantics, metamathematics

Logic, Symbolic and mathematical · Semantics (Philosophy)

Logic, semantics, metamathematics

Tarski, Alfred.

1956

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

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