Menu
Виж статуса на поръчката
Свържете се с нас
Книга Mathematical Logic Heinz-Dieter Ebbinghaus

Mathematical Logic

Автор: Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas
Език: Английски език
Корици: С твърди корици
Издател: Springer Nature Switzerland AG
Наличност: Външен склад
Изпращаме след 10-13 дни
72.29 € 141.39 лв
This introduction to first-order logic clearly works out the role of first-order logic in the founda...

Информация за книгата

Автор
Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas
Език
Английски език
Корици
Книга - С твърди корици
Издадена
2021
страници
304
EAN
9783030738389
ISBN
3030738388
Enbook ID
36551707
Издател
Springer Nature Switzerland AG
Теглоt
658
Размери
243 x 161 x 21

Пълно описание

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Може също да ви хареса

Mathematical Logic

Heinz-Dieter Ebbinghaus
51.72 € 101.16 лв

Mathematical Methods for Physics and Engineering

Kenneth F. Riley
63.21 € 123.63 лв

Quantum Mechanics: The Theoretical Minimum

Leonard Susskind
12.89 € 25.21 лв

Course in Calculus and Real Analysis

Sudhir R. Ghorpade
72.29 € 141.39 лв

Theory of Sets

Nicolas Bourbaki
74.75 € 146.19 лв

Fundamental Mathematical Analysis

Robert Magnus
39.43 € 77.12 лв

Set Theory

Thomas Jech
210.31 € 411.32 лв

Set Theory and Model Theory

R.B. Jensen
26.53 € 51.90 лв

Proofs and Fundamentals

Ethan D. Bloch
67.17 € 131.38 лв

Fundamentals of Mathematics - An Introduction to Proofs Logic Sets and Numbers

Bernd S. W. Schroder
97.68 € 191.04 лв

Mathematical Logic for Computer Science

Mordechai Ben-Ari
62.00 € 121.27 лв

Introduction To Mathematical Logic (Extended Edition)

Michal Walicki
49.81 € 97.43 лв

An Introduction To Traditional Logic: Classical Reasoning For Contemporary

Scott M Sullivan
31.80 € 62.20 лв

Systems Modeling

Mukhtar Ahmed
178.80 € 349.70 лв

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory

Douglas Cenzer
59.90 € 117.15 лв

Honda PCX125 &150 (10-19)

Haynes Publishing
42.29 € 82.71 лв

Day Is Now Far Spent

Cardinal Robert Sarah
15.30 € 29.92 лв

Contemporary Counterpoint: Theory & Application

Beth Denisch
24.58 € 48.07 лв

Maths Book

DK
19.76 € 38.65 лв

Operative Cranial Neurosurgical Anatomy

Filippo Gagliardi
133.50 € 261.10 лв

Tunisian Cookbook

Booksumo Press
10.18 € 19.91 лв

Unattended Sorrow

Stephen Levine
14.59 € 28.54 лв

The End of Loneliness

Benedict Wells
14.14 € 27.66 лв

Your Head is a Houseboat

Campbell Walker
17.45 € 34.14 лв

Клиенти, които купиха тази книга, купиха също

Mathematical Linguistics

Andras Kornai
58.94 € 115.29 лв

Interactions of Quantum Affine Algebras with Cluster Algebras, Current Algebras and Categorification

Jacob Greenstein
46.20 € 90.36 лв