Foundations of Mathematical Logic

Couverture
Courier Corporation, 1 janv. 1977 - 408 pages
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods, including algorithms and epitheory, and offers a brief treatment of Markov's approach to algorithms, explains elementary facts about lattices and similar algebraic systems, and more. 1963 edition.
 

Pages sélectionnées

Table des matières

INTRODUCTION
1
FORMAL SYSTEMS
28
EPITHEORY
93
RELATIONAL LOGICAL ALGEBRA
125
THE THEORY OF IMPLICATION
165
NEGATION
254
QUANTIFICATION
311
MODALITY
359
Droits d'auteur

Autres éditions - Tout afficher

Expressions et termes fréquents

Fréquemment cités

Page 386 - An informal exposition of proofs of Godel's theorems and Church's theorem, J.

Informations bibliographiques