Logic, Meaning and Computation: Essays in Memory of Alonzo Church: Synthese Library, cartea 305
Editat de C. Anthony Anderson, Michael Zelënyen Limba Engleză Paperback – 21 oct 2012
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 961.72 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 21 oct 2012 | 961.72 lei 6-8 săpt. | |
Hardback (1) | 968.03 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 31 ian 2002 | 968.03 lei 6-8 săpt. |
Din seria Synthese Library
- 15% Preț: 638.43 lei
- 18% Preț: 989.98 lei
- 15% Preț: 596.69 lei
- 18% Preț: 903.93 lei
- 15% Preț: 586.88 lei
- 15% Preț: 696.50 lei
- 18% Preț: 892.90 lei
- 15% Preț: 643.34 lei
- Preț: 282.33 lei
- 5% Preț: 372.19 lei
- Preț: 443.10 lei
- 15% Preț: 637.59 lei
- 18% Preț: 958.88 lei
- 15% Preț: 642.36 lei
- 18% Preț: 1230.66 lei
- 15% Preț: 642.83 lei
- 18% Preț: 1000.39 lei
- Preț: 389.70 lei
- 15% Preț: 637.28 lei
- 18% Preț: 952.26 lei
- 18% Preț: 1231.32 lei
- 15% Preț: 645.96 lei
- Preț: 395.85 lei
- Preț: 400.47 lei
- 18% Preț: 1225.48 lei
- 15% Preț: 638.89 lei
- 18% Preț: 1232.09 lei
- Preț: 380.45 lei
- Preț: 394.87 lei
- 15% Preț: 640.37 lei
- 15% Preț: 639.08 lei
- Preț: 381.98 lei
- 15% Preț: 643.00 lei
- 15% Preț: 672.29 lei
Preț: 961.72 lei
Preț vechi: 1172.83 lei
-18% Nou
Puncte Express: 1443
Preț estimativ în valută:
184.04€ • 190.98$ • 153.83£
184.04€ • 190.98$ • 153.83£
Carte tipărită la comandă
Livrare economică 17-31 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789401038911
ISBN-10: 9401038910
Pagini: 660
Ilustrații: XIII, 627 p.
Dimensiuni: 160 x 240 x 35 mm
Greutate: 0.91 kg
Ediția:2001
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9401038910
Pagini: 660
Ilustrații: XIII, 627 p.
Dimensiuni: 160 x 240 x 35 mm
Greutate: 0.91 kg
Ediția:2001
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
Logic, truth and number: The elementary genesis of arithmetic.- Second-order logic.- A representation of relation algebras using Routley-Meyer frames.- Church’s set theory with a universal set.- Axioms of infinity in Church’s type theory.- Logical objects.- The lambda calculus and adjoint functors.- Atomic Boolean algebras and classical propositional logic.- Improved decision procedures for pure relevant logic.- The “triumph” of first-order languages.- Equivalence relations and groups.- Discriminating coded lambda terms.- ?-calculus as a foundation for mathematics.- Peano’s lambda calculus: The functional abstraction implicit in arithmetic.- The undecidability of ?-definability.- A construction of the provable wellorderings of the theory of species.- Semantics for first and higher order realizability.- Language and equality theory in logic programming.- Alternative (1*): A criterion of identity for intensional entities.- Nominalist paraphrase and ontological commitment.- Peace, justice and computation: Leibniz’ program and the moral and political significance of Church’s theorem.- Tarski’s theorem and NFU.- Church’s theorem and randomness.- Russellian type theory and semantical paradoxes.- The logic of sense and denotation: Extensions and applications.- Analysis, synonymy and sense.- The very possibility of language.
Caracteristici
Includes supplementary material: sn.pub/extras