Playlogs
HomeTrackingGamesMoviesTVBooksBlogOur Story
← Back to Books

Sentences undecidable in formalized arithmetic

an exposition of the theory of Kurt Gödel.

Andrzej Mostowski · Jan 1, 1952 · eng

Philosophy

Catalog 0.0/10

Playlogs —

Loading…

Similar books

A composer's world

A composer's world

Paul Hindemith

Being and some philosophers

Being and some philosophers

Étienne Gilson

A Study of History

A Study of History

Arnold J. Toynbee, D.C Somervell

Early medieval philosophy

Early medieval philosophy

George Bosworth Burch

Selections

Selections

Gottfried Wilhelm Leibniz

Chinese thought from Confucius to Mao Tsê-tung

Chinese thought from Confucius to Mao Tsê-tung

Herrlee Glessner Creel

Nature, mind, and modern science

Nature, mind, and modern science

Errol E. Harris

Scientific autobiography

Scientific autobiography

Max Planck

Le baroque et la musique

Le baroque et la musique

Suzanne Clercx

The Book of Mormon

The Book of Mormon

Joseph Smith, Jr.

Social Darwinism in American thought, 1860-1915

Social Darwinism in American thought, 1860-1915

Richard Hofstadter

The will to believe

The will to believe

William James

Details

Author
Andrzej Mostowski
Published
Jan 1, 1952
Language
eng
ISBN
9781483275123
Genres
Philosophy
Publishers
Elsevier Science & Technology Books
Playlogs

Log your experiences across games, movies, anime, and books.
Build your taste over time.

Playlogs helps people track games they play — it is not a storefront or an official publisher catalog.

Quick Links

  • Games
  • Movies
  • TV-Series
  • Books

Company

  • About Us
  • Blog
  • Developers
  • Publishers
  • Game Engines
  • Contact Us

Legal

  • Terms of Service
  • Privacy Policy
  • Delete Account

Game data provided by IGDB.

Cover art © respective owners. Used for identification.

© 2026 Playlogs. All rights reserved.