libcats.org
Главная

Mathematical Logic

Обложка книги Mathematical Logic

Mathematical Logic

This reprint of Kleene's 1967 text provides an elementary but thorough treatment of mathematical logic of the first order. Kleene (formerly: mathematics, University of Wisconsin, Madison) covers a variety of methods and techniques including model theory (truth tables), Hilbert-type proof theory, and proof theory through derived rules. Subsequent chapters cover topics formal number theory, Godel's completeness theorem, Genzen's theorem, Skolem's paradox, and nonstandard models of arithmetic.
Популярные книги за неделю:

Nucleation (Butterworth 2000)

Автор:
Категория: Phase transitions
Размер книги: 4.70 Mb

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb
Только что пользователи скачали эти книги:

Nucleation (Butterworth 2000)

Автор:
Категория: Phase transitions
Размер книги: 4.70 Mb

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Man Alive

Автор:
Размер книги: 191 Kb

Генрих Белль. Почтовая открытка

Автор:
Размер книги: 15 Kb

Advanced 3Ds Max 5: Modeling and Animating

Автор:
Размер книги: 112.39 Mb

Logistics and Retail Management

Автор: , Автор:
Размер книги: 3.32 Mb

Minimum Reinforcement in Concrete Members

Автор:
Размер книги: 9.44 Mb

El Engaño De Beth Loring

Автор:
Категория: fiction
Размер книги: 883 Kb

Keepers of Flame

Автор:
Категория: fiction
Размер книги: 344 Kb

Memoirs of Mrs Rebecca Steward

Автор:
Категория: fiction
Размер книги: 96 Kb