Passer au contenu principal Passer au contenu du pied de page

Recursive Functions and Metamathematics: Problems Of Completeness And Decidability, Godel's Theorems

6 décembre 2010

248,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 1 243 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

395

Synthese Library

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9789048152988

An Early History of Recursive Functions and Computability from Godel to Turing

Rod Adams Couverture souple
23,50 $
Artificial Intelligence Versus Natural Intelligence

Roger Penrose Couverture rigide
145,95 $
2 formats offerts
Artificial Intelligence Versus Natural Intelligence

Roger Penrose Couverture souple
145,95 $
An Introduction to the Study of Logic and Metaphysics

Thomas Squire Barrett Couverture rigide
28,95 $
An Introduction to the Study of Logic and Metaphysics

Thomas Squire Barrett Couverture rigide
32,50 $
An Introduction to the Study of Logic and Metaphysics

Thomas Squire Barrett Couverture souple
14,95 $
Logic, Computation, Hierarchies

Couverture rigide
235,99 $
An Introduction to the Study of Logic and Metaphysics

Thomas Squire Barrett Couverture souple
14,95 $
An Introduction To The Study Of Logic And Metaphysics

Thomas Squire Barrett Couverture souple
23,50 $
An Introduction To The Study Of Logic And Metaphysics

Thomas Squire Barrett Couverture souple
23,50 $
Wittgenstein on Sense and Grammar

Silver Bronzo Couverture souple
26,37 $
An Introduction to the Study of Logic and Metaphysics - Primary Source Edition

Thomas Squire Barrett Couverture souple
20,99 $
Introduction to Philosophy - Primary Source Edition

Friedrich Paulsen Couverture souple
43,99 $
Introduction to Philosophy - Primary Source Edition

Friedrich Paulsen Couverture souple
43,99 $
A Realistic Universe An Introduction to Metaphysics

John Elof Boodin Couverture souple
55,99 $
A Realistic Universe An Introduction to Metaphysics

John Elof Boodin Couverture rigide
77,99 $
Algebraic Perspectives On Substructural Logics

Davide Fazio Couverture rigide
175,50 $
2 formats offerts
Proverbial Philosophy: in Four Series

Martin Farquhar Tupper Couverture souple
49,50 $
Algebraic Perspectives On Substructural Logics

Davide Fazio Couverture souple
175,50 $
Aristotle, De motu animalium: Text and Translation

Benjamin Morison Couverture rigide
79,30 $

Évaluation éditoriale

Auteur

An Early History of Recursive Functions and Computability from Godel to Turing

Rod Adams Couverture souple
23,50 $
Probabilistic Logics and Probabilistic Networks

Rolf Haenni Couverture souple
80,50 $
2 formats offerts
Strict Finitism and the Logic of Mathematical Applications

Feng Ye Couverture souple
160,95 $
3 formats offerts
Theory of Logical Calculi: Basic Theory of Consequence Operations

Ryszard Wójcicki Couverture souple
481,95 $
2 formats offerts
Bayesian Argumentation: The Practical Side Of Probability

Frank Zenker Couverture souple
160,95 $
3 formats offerts
Games Iteration Numbers: A Philosophical Introduction to Computability Theory

Luca M Possati Couverture souple
24,50 $
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Ivo Düntsch Couverture rigide
233,95 $
2 formats offerts
Algebraic Perspectives On Substructural Logics

Davide Fazio Couverture rigide
175,50 $
2 formats offerts
Indeterminacy, Vagueness, and Truth: The Boolean Many-Valued Approach

Ken Akiba Couverture rigide
189,95 $
What Logics Mean: From Proof Theory to Model-Theoretic Semantics

James W. Garson Couverture souple
53,95 $
2 formats offerts
The Logic of Conditionals: An Application of Probability to Deductive Logic

E.W. Adams Couverture souple
80,50 $
2 formats offerts
Well-quasi Orders In Computation, Logic, Language And Reasoning: A Unifying Concept Of Proof Theory, Automata Theory, Formal Languages And Descriptive Set Theory

Peter M. Schuster Couverture rigide
291,95 $
2 formats offerts
Harmony and Paradox: Intensional Aspects of Proof-theoretic Semantics

Luca Tranchini Couverture rigide
87,95 $
2 formats offerts
Geometric And Topological Inference

Jean-Daniel Boissonnat Couverture souple
53,95 $
2 formats offerts
Patrick Suppes: Scientific Philosopher: Volume 1. Probability and Probabilistic Causality

P. Humphreys Couverture souple
321,50 $
2 formats offerts
Mathematics And Its Applications: A Transcendental-idealist Perspective

Jairo Jos Da Silva Couverture souple
145,95 $
3 formats offerts
Probabilities, Causes and Propensities in Physics

Mauricio Suárez Couverture souple
160,95 $
3 formats offerts
Studies And Exercises In Formal Logic: Including A Generalization Of Logical Processes In Their Application To Complex Inferences (1884)

John Neville Keynes Couverture rigide
68,95 $
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Wolfgang Schreiner Couverture souple
116,95 $
Hajnal Andreka And Istvan Nemeti On Unity Of Science: From Computing To Relativity Theory Through Algebraic Logic

Judit Madar Couverture rigide
160,95 $
2 formats offerts