Metamathematics of First-Order Arithmetic
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Cambridge University Press

9781316717271
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Introduction

2017 ◽  
pp. 1-4
Author(s):  
Petr Hajek ◽  
Pavel Pudlak

Authors' Preface

2017 ◽  
pp. ix-x
Author(s):  
Petr Hdjek ◽  
Pavel Pudldk ◽  
Petr Hajek ◽  
Pavel Pudlak

Preface to the Series Perspectives in Mathematical Logic

2017 ◽  
pp. vii-viii
Author(s):  
R.O. Gandy ◽  
H. Hermes ◽  
A. Levy ◽  
G.H. Mutter ◽  
G. Sacks ◽  
...  
Keyword(s):  
Mathematical Logic

Preliminaries

2017 ◽  
pp. 5-24
Author(s):  
Petr Hajek ◽  
Pavel Pudlak

Bounded Arithmetic

2017 ◽  
pp. 267-396
Author(s):  
Petr Hajek ◽  
Pavel Pudlak
Keyword(s):  
Bounded Arithmetic

Self-Reference

2017 ◽  
pp. 147-212
Author(s):  
Petr Hajek ◽  
Pavel Pudlak
Keyword(s):  
Self Reference

Fragments and Combinatorics

2017 ◽  
pp. 111-144
Author(s):  
Petr Hajek ◽  
Pavel Pudlak

Bibliography

2017 ◽  
pp. 409-454
Author(s):  
Petr Hajek ◽  
Pavel Pudlak
Load More ...
Sign in / Sign up

Export Citation Format

Share Document