Recursive Number Theory - A Development of Recursive Arithmetic in a Logic-Free Equation Calculus - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Elsevier

9780444533852

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Chapter VI Reductions to Primitive Recursion

Recursive Number Theory - A Development of Recursive Arithmetic in a Logic-Free Equation Calculus - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71977-3 ◽

1957 ◽

pp. 119-133

Keyword(s):

Primitive Recursion

Download Full-text

Examples III

Recursive Number Theory - A Development of Recursive Arithmetic in a Logic-Free Equation Calculus - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71973-6 ◽

1957 ◽

pp. 80-85

Download Full-text

Chapter V Formalisations of Primitive Recursive Arithmetic

Recursive Number Theory - A Development of Recursive Arithmetic in a Logic-Free Equation Calculus - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71976-1 ◽

1957 ◽

pp. 104-118

Keyword(s):

Primitive Recursive Arithmetic ◽

Primitive Recursive

Download Full-text

Index

Recursive Number Theory - A Development of Recursive Arithmetic in a Logic-Free Equation Calculus - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71983-9 ◽

1957 ◽

pp. 189-190

Download Full-text

Examples II

Recursive Number Theory - A Development of Recursive Arithmetic in a Logic-Free Equation Calculus - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71971-2 ◽

1957 ◽

pp. 51-55

Download Full-text

Introduction

Recursive Number Theory - A Development of Recursive Arithmetic in a Logic-Free Equation Calculus - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71967-0 ◽

1957 ◽

pp. 1-11

Download Full-text

Chapter VIII Gödel Numbering and the Incompleteness of Arithmetic

Recursive Number Theory - A Development of Recursive Arithmetic in a Logic-Free Equation Calculus - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71979-7 ◽

1957 ◽

pp. 143-156

Download Full-text

Edited by

Recursive Number Theory - A Development of Recursive Arithmetic in a Logic-Free Equation Calculus - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71964-5 ◽

1957 ◽

pp. iii

Download Full-text

Solutions to Examples

Recursive Number Theory - A Development of Recursive Arithmetic in a Logic-Free Equation Calculus - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71980-3 ◽

1957 ◽

pp. 157-186

Download Full-text

Examples I

Recursive Number Theory - A Development of Recursive Arithmetic in a Logic-Free Equation Calculus - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71969-4 ◽

1957 ◽

pp. 25-26

Download Full-text