Alibris: Metamathematics

AUDIOBOOKS | NEW BOOKS OF NOTE | BARGAIN BOOKS

» advanced search

browse BOOKS

Page 1 of 1

sort by

1	Godel, Escher, Bach: An Eternal Golden Braid more books like this by Douglas R Hofstadter G(del, Escher, Bach is a Pulitzer Prizewinning treatise exploring patterns and symbols in the thinking of mathematician Kurt G(del, artist M. C. Escher and composer Johann Sebastian Bach. A groundbreaking book that has set the standard for interdisciplinary writing. A book every thinking reader must have.. Douglas Hofstadters book is concerned ... see all copies from $2.50! new only from $6.54! \| signed copies \| first editions \| SVS
2	Metamagical Themas: Questing for the Essence of Mind and Pattern more books like this by Douglas R Hofstadter Hofstadters collection of quirky essays is unified by its primary concern: to examine the way people perceive and think.. see all copies from $1.99! new only from $18.85! \| signed copies \| first editions \| SVS
3	Godel, Escher, Bach V502 more books like this by Douglas R Hofstadter First published in 1979, this is a genuine interdisciplinary work of nonfiction, with dozens of historical references and subtexts. Critics and reviewers have summed up its meaning in varying ways, yet consistently with praise. A mixture of art, philosophy, music, math, technology, and cognitive science, the book's title only reflects one aspect ... see all copies from $3.95! new only from $22.50! \| first editions
4	Godel, Escher, Bach more books like this by Douglas R Hofstadter G(del, Escher, Bach is a Pulitzer Prizewinning treatise exploring patterns and symbols in the thinking of mathematician Kurt G(del, artist M. C. Escher and composer Johann Sebastian Bach. A groundbreaking book that has set the standard for interdisciplinary writing. A book every thinking reader must have.. Douglas Hofstadters book is concerned ... see all copies from $9.00! new only from $61.23! \| first editions
5	Logic, Semantics, Metamathematics: Papers from 1923 to 1938 more books like this by Alfred Tarski see all copies from $45.00! new only from $45.38! \| first editions
6	Introduction to Metamathematics by S C Kleene, Kleene S C Kleene see all copies from $45.00! new only from $108.69! \| first editions \| SVS
7	What Number is God?: Metaphors, Metaphysics, Metamathematics, and the Nature of Things more books like this by Sarah Voss see all copies from $1.99! new only from $1.99! \| first editions \| SVS
8	Metamathematics, Machines, and Godel's Proof more books like this by N Shankar Mathematicians from Leibniz to Hilbert have sought to mechanise the verification of mathematical proofs. Developments arising out of Godel's proof of his incompleteness theorem showed that no computer program could automatically prove true all the theorems of mathematics. In practice, however, there are a number of sophisticated automated ... see all copies from $25.00! new only from $26.95! \| first editions \| SVS
9	Introduction to model theory and to the metamathematics of algebra more books like this by Abraham Robinson see all copies from $8.78! first editions
10	Recursion Theory for Metamathematics more books like this by Raymond M. Smullyan This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It ... see all copies from $51.78! new only from $61.00! \| first editions \| SVS
11	Metamathematics of Fuzzy Logic more books like this by Petr Hajek This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed ... see all copies from $59.47! new only from $59.47! \| SVS
12	Mechanism, Mentalism and Metamathematics: An Essay on Finitism more books like this by Judson Chambers Webb see all copies from $97.83! new only from $164.50! \| SVS
13	Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gdel's Theorems more books like this by Roman Murawski "Recursive Functions and Metamathematics" deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Godel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. This ... see all copies from $138.60! new only from $138.60! \| SVS
14 view cover	Theory of formal systems. more books like this by Raymond M. Smullyan see all copies from $21.83! new only from $65.20! \| first editions
15 view cover	A Relational Theory of Computing more books like this by John G Sanderson see all copies from $14.36! new only from $34.97! \| SVS
16	The Metamathematics of Algebraic Systems, Collected Papers: 1936-1967 more books like this by A I Mal'tsev see all copies from $145.97!
17 view cover	Intro to Metamathematic by Stephen Cole Kleene see all copies from $171.21!
18	Elementary logic of science and mathematics. more books like this by P. H. Nidditch see all copies from $4.95! first editions
19	Introductory formal logic of mathematics. more books like this by P. H. Nidditch see all copies from $6.00! first editions
20	On the metamathematics of algebra. more books like this by Abraham Robinson see all copies from $30.00! signed copies
21	The mathematics of metamathematics. by Helena Rasiowa, Roman Sikorski see all copies from $200.00! first editions
22	Constructivity in mathematics; proceedings. more books like this by A. Heyting see all copies from $70.00! first editions
23	Metamathematik. more books like this by Paul Lorenzen see all copies from $7.47!
24	Unvollständigkeit und Unentscheidbarkeit. more books like this by Wolfgang Stegmüller see all copies from $105.00! first editions

Page 1 of 1

Browse authors

Browse subjects

Our Money-Back Guarantee

We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.