Advanced Logic for Applications: Synthese Library, cartea 110
Autor R.E. Grandyen Limba Engleză Hardback – 30 noi 1977
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 382.18 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 30 noi 1979 | 382.18 lei 6-8 săpt. | |
Hardback (1) | 389.70 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 30 noi 1977 | 389.70 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
- 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ț: 389.70 lei
Nou
Puncte Express: 585
Preț estimativ în valută:
74.59€ • 77.58$ • 62.51£
74.59€ • 77.58$ • 62.51£
Carte tipărită la comandă
Livrare economică 13-27 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789027707819
ISBN-10: 9027707812
Pagini: 176
Ilustrații: XIII, 176 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.45 kg
Ediția:1977
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9027707812
Pagini: 176
Ilustrații: XIII, 176 p.
Dimensiuni: 155 x 235 x 13 mm
Greutate: 0.45 kg
Ediția:1977
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
I. Henkin Sets and the Fundamental Theorem.- II. Derivation Rules and Completeness.- III. Gentzen Systems and Constructive Completeness Proofs.- IV. Quantification Theory with Identity and Functional Constants.- V. First Order Theories with Equality.- VI. Gödel’s Incompleteness Theorems: Preliminary Discussion.- VII. Undecidability and Incompleteness.- VIII. Gödel’s Second Incompleteness Theorem.- IX. Tarski’s Theorems and the Definition of Truth.- X. Some Recursive Function Theory.- XI. Intuitionistic Logic.- XII. Second Order Logic.- XIII. Algebraic Logic.- XIV. Anadic Logic.- Selected Bibliography.- Index of Names.- Index of Subjects.- Index of Symbols.