Introduction to metamathematics

Author:Stephen Cole Kleene (Author)

Print Book, English, 1952

Edition:View all formats and editions

Publisher: D. Van Nostrand Company Inc., New York, 1952

Series:

University series in higher mathematics

Physical Description:x, 550 pages : illustrations ; 23 cm

OCLC Number / Unique Identifier:523942

Subjects:

Mathématiques

Metamathematics

Métamathématique

Additional Physical Form Entry:

Online version:

Introduction to metamathematics.

Kleene, Stephen Cole, 1909-1994.

Contents:

The problem of foundations

Mathematical logic

Recursive functions

Mathematical logic (additional topics)