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

Download Full-text

Introduction

Logic of Arithmetic ◽

10.1201/9781482283013-6 ◽

2000 ◽

pp. 11-19

Download Full-text

Recursive Relations and-Recursive Functions

Logic of Arithmetic ◽

10.1201/9781482283013-13 ◽

2000 ◽

pp. 142-164

Keyword(s):

Recursive Functions ◽

Recursive Relations

Download Full-text

Elementary and Primitive Recursive Functions

Logic of Arithmetic ◽

10.1201/9781482283013-12 ◽

2000 ◽

pp. 109-141

Keyword(s):

Recursive Functions ◽

Primitive Recursive

Download Full-text

Peano Arithmetic PA and its Expansion PR

Logic of Arithmetic ◽

10.1201/9781482283013-17 ◽

2000 ◽

pp. 229-264

Keyword(s):

Peano Arithmetic

Download Full-text

Undefinability and Incompleteness, General Theory

Logic of Arithmetic ◽

10.1201/9781482283013-11 ◽

2000 ◽

pp. 81-108

Keyword(s):

General Theory

Download Full-text

Axioms for Arithmetic

Logic of Arithmetic ◽

10.1201/9781482283013-16 ◽

2000 ◽

pp. 200-228

Download Full-text

The Arithmetization of Syntax

Logic of Arithmetic ◽

10.1201/9781482283013-14 ◽

2000 ◽

pp. 165-174

Download Full-text

Antinomies, Pseudomenos, and their Analysis

Logic of Arithmetic ◽

10.1201/9781482283013-10 ◽

2000 ◽

pp. 68-80

Download Full-text

Unprovability of Consistency

Logic of Arithmetic ◽

10.1201/9781482283013-18 ◽

2000 ◽

pp. 265-301

Download Full-text