Introduction to metamathematics

View on Open Library

Introduction to metamathematics

by Stephen Cole Kleene

No reviews yet

First published: 1952 1 language ISBN: 0444100881

Subjects

Metamathematics Mathematics

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Stephen Cole Kleene

Two papers on the predicate calculus

Two papers on the predicate calculus

Mathematical logic

Mathematical logic

Introduction to metamathematics

Introduction to metamathematics

The foundations of intuitionistic mathematics

The foundations of intuitionistic mathem...

Mathematical Logic

Mathematical Logic

A theory of positive integers in formal logic

A theory of positive integers in formal ...

You Might Also Like

More in Metamathematics

Gödel's proof

Ernest Nagel

Gödel, Escher, Bach

Gödel, Escher, Bach

Douglas R. Hofstadter

Metamagical Themas

Metamagical Themas

Douglas R. Hofstadter

How to Bake Pi

Eugenia Cheng

The Mathematics of Logic

The Mathematics of Logic

Richard W. Kaye

Metamathematics of first-order arithmetic

Metamathematics of first-order arithmeti...

Petr Hájek