Narrow your search
Listing 1 - 10 of 46 << page
of 5
>>
Sort by

Book
Mathematical logic
Author:
ISBN: 0471490334 9780471490333 Year: 1968 Publisher: New York (N.Y.): Wiley,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Introduction to metamathematics
Author:
ISBN: 0720421039 0444100881 9780720421033 Year: 1974 Volume: 1 Publisher: Gromingen: Wolters-Noordhoff,


Book
Two papers on the predicate calculus
Author:
Year: 1952 Publisher: Providence (R.I.): American mathematical society,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Formalized recursive functionals and formalized realizability
Author:
Year: 1969 Publisher: Providence (R.I.): American mathematical society,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Recursive functionals and quantifiers of finite types I
Author:
Year: 1959 Publisher: Providence (R.I.): American mathematical society,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Mathematical logic
Author:
Year: 1967 Publisher: New York (N.Y.): Wiley,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Recursive predicates and quantifiers
Author:
Year: 1943 Publisher: [Lieu de publication inconnu]: [éditeur inconnu],

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Introduction to metamathematics
Author:
Year: 1952 Publisher: Amsterdam: North-Holland,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Introduction to metamathematics
Author:
Year: 1967 Publisher: Amsterdam: North-Holland,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Metamathematics


Book
Mathematical logic
Author:
Year: 1968 Publisher: New York ; Londres ; Sydney: Wiley,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Listing 1 - 10 of 46 << page
of 5
>>
Sort by