Logic of Arithmetic
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By CRC Press

9780429080272

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Consistency, Decidability, Completeness for the Arithmetic of Addition and Order

Logic of Arithmetic ◽

10.1201/9781482283013-8 ◽

2000 ◽

pp. 44-65

Introduction

Logic of Arithmetic ◽

10.1201/9781482283013-6 ◽

2000 ◽

pp. 11-19

Recursive Relations and-Recursive Functions

Logic of Arithmetic ◽

10.1201/9781482283013-13 ◽

2000 ◽

pp. 142-164

Keyword(s):

Recursive Functions ◽

Recursive Relations

Elementary and Primitive Recursive Functions

Logic of Arithmetic ◽

10.1201/9781482283013-12 ◽

2000 ◽

pp. 109-141

Keyword(s):

Recursive Functions ◽

Primitive Recursive

Peano Arithmetic PA and its Expansion PR

Logic of Arithmetic ◽

10.1201/9781482283013-17 ◽

2000 ◽

pp. 229-264

Keyword(s):

Peano Arithmetic

Undefinability and Incompleteness, General Theory

Logic of Arithmetic ◽

10.1201/9781482283013-11 ◽

2000 ◽

pp. 81-108

Keyword(s):

General Theory

Axioms for Arithmetic

Logic of Arithmetic ◽

10.1201/9781482283013-16 ◽

2000 ◽

pp. 200-228

The Arithmetization of Syntax

Logic of Arithmetic ◽

10.1201/9781482283013-14 ◽

2000 ◽

pp. 165-174

Antinomies, Pseudomenos, and their Analysis

Logic of Arithmetic ◽

10.1201/9781482283013-10 ◽

2000 ◽

pp. 68-80

Unprovability of Consistency

Logic of Arithmetic ◽

10.1201/9781482283013-18 ◽

2000 ◽

pp. 265-301