Introduction to metamathematics / by Stephen Cole Kleene,...

Date :

Editeur / Publisher : Amsterdam : North-Holland publishing Company , 1952, cop. 1952

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-444-10088-1

ISBN : 0-7204-2103-9

Catalogue Worldcat

EAN : 9780720421033

Logique mathématique

Métamathématique

Classification Dewey : 511.3

Collection : Bibliotheca mathematica : a series of monographs on pure and applied mathematics / ed. N.G. De Bruijn, D. van Dantzig, J. de Groot / Amsterdam : North-Holland , 1952-