Deducibility and Decidability
Autor R. R. Rockingham Gillen Limba Engleză Hardback – 26 apr 1990
Preț: 1171.25 lei
Preț vechi: 1428.36 lei
-18%
Puncte Express: 1757
Preț estimativ în valută:
207.32€ • 241.87$ • 179.52£
207.32€ • 241.87$ • 179.52£
Carte tipărită la comandă
Livrare economică 26 februarie-12 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780415000338
ISBN-10: 0415000335
Pagini: 172
Dimensiuni: 138 x 216 x 17 mm
Greutate: 0.47 kg
Ediția:1
Editura: Taylor & Francis
Colecția Routledge
Locul publicării:Oxford, United Kingdom
ISBN-10: 0415000335
Pagini: 172
Dimensiuni: 138 x 216 x 17 mm
Greutate: 0.47 kg
Ediția:1
Editura: Taylor & Francis
Colecția Routledge
Locul publicării:Oxford, United Kingdom
V-ar putea interesa
-
Gottlob Frege: Basic Laws of ArithmeticPhilip A. Ebert-26%Preț: 343.57 lei465.67 lei -
Formal Theories of TruthJc Beall-19%Preț: 170.29 lei209.83 lei -
Replacing TruthKevin Scharp-27%Preț: 616.90 lei845.71 lei -
Ontology after CarnapStephan Blatti-32%Preț: 503.29 lei734.83 lei -
-10%Preț: 263.01 lei291.23 lei -
Methods and Morals in the Life Sciences: A Guide for Analyzing and Writing TextsWim J. van der Steen-31%Preț: 449.66 lei653.58 lei -
-34%Preț: 602.40 lei910.32 lei -
Thinking through Error: The Moving Target of KnowledgeBrunella Antomarini-34%Preț: 539.37 lei816.73 lei -
Informal Logical Fallacies: A Brief GuideJacob E. Van Vleet-31%Preț: 358.12 lei522.42 lei -
False Truths: The Error of Relying on AuthorityEdward C. Mendler-27%Preț: 255.61 lei347.93 lei -
What Logics Mean: From Proof Theory to Model-Theoretic SemanticsJames W. GarsonPreț: 329.02 lei -
Why Is There Philosophy of Mathematics At All?Ian HackingPreț: 189.81 lei -
Methods of ArgumentationDouglas WaltonPreț: 240.53 lei -
Preț: 410.87 lei -
Naming, Necessity and MoreJonathan BergPreț: 374.71 lei -
Free Will: A Philosophical ReappraisalNicholas RescherPreț: 419.41 lei -
Symbolic Logic: Syntax, Semantics, and ProofDavid Agler-31%Preț: 947.54 lei1364.05 lei -
An Introduction to LogicRichard T. W. Arthur-23%Preț: 407.29 lei526.68 lei -
Fuzzy LogicRaymond E. Vargas-31%Preț: 1342.43 lei1933.84 lei -
Santayana the Philosopher: Philosophy as a Form of LifeDaniel Moreno-34%Preț: 505.39 lei762.95 lei -
What Does It Look Like?Sebastiaan A. Verschuren-23%Preț: 497.82 lei646.53 lei -
An Essay in Universal SemanticsAchille C. Varzi-15%Preț: 609.22 lei716.73 lei -
-15%Preț: 613.49 lei721.74 lei -
Preț: 367.33 lei -
-15%Preț: 615.52 lei724.14 lei
Cuprins
Chapter I: The Natural Numbers and their Conventional Ordering II: Addition, Multiplication and Exponentiation III: The Theory of ∑-Forms IV: Effectiveness V: Recursively Defined Predicates VI: The ‘Arithmetization of Syntax’ VII: Diagonalization VIII: Gödel’s Theorems, and their Relatives IX: The Limits of Representability X: The Arithmetical Hierarchy, Envoi
Descriere
The works of Gödel, Tarski, Kleene and Church are fundamental to our understanding of the foundations of mathematics. In Deducibility and Decidability, their results and significance are presented in a new, unified manner.