Perspectives in Mathematical Logic - Metamathematics of First-Order Arithmetic
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540636489, 9783662221563

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bounded Arithmetic

Perspectives in Mathematical Logic - Metamathematics of First-Order Arithmetic ◽

10.1007/978-3-662-22156-3_7 ◽

1993 ◽

pp. 267-395

Author(s):

Petr Hájek ◽

Pavel Pudlák

Keyword(s):

Bounded Arithmetic

Download Full-text

Models of Fragments of Arithmetic

Perspectives in Mathematical Logic - Metamathematics of First-Order Arithmetic ◽

10.1007/978-3-662-22156-3_6 ◽

1993 ◽

pp. 213-263

Author(s):

Petr Hájek ◽

Pavel Pudlák

Download Full-text

Self-Reference

Perspectives in Mathematical Logic - Metamathematics of First-Order Arithmetic ◽

10.1007/978-3-662-22156-3_5 ◽

1993 ◽

pp. 147-212

Author(s):

Petr Hájek ◽

Pavel Pudlák

Keyword(s):

Download Full-text

Arithmetic as Number Theory, Set Theory and Logic

Perspectives in Mathematical Logic - Metamathematics of First-Order Arithmetic ◽

10.1007/978-3-662-22156-3_3 ◽

1993 ◽

pp. 27-109

Author(s):

Petr Hájek ◽

Pavel Pudlák

Keyword(s):

Number Theory ◽

Download Full-text

Fragments and Combinatorics

Perspectives in Mathematical Logic - Metamathematics of First-Order Arithmetic ◽

10.1007/978-3-662-22156-3_4 ◽

1993 ◽

pp. 111-144

Author(s):

Petr Hájek ◽

Pavel Pudlák

Download Full-text

Preliminaries

Perspectives in Mathematical Logic - Metamathematics of First-Order Arithmetic ◽

10.1007/978-3-662-22156-3_2 ◽

1993 ◽

pp. 5-23

Author(s):

Petr Hájek ◽

Pavel Pudlák

Download Full-text

Introduction

Perspectives in Mathematical Logic - Metamathematics of First-Order Arithmetic ◽

10.1007/978-3-662-22156-3_1 ◽

1993 ◽

pp. 1-4

Author(s):

Petr Hájek ◽

Pavel Pudlák

Download Full-text