Basic Proof Theory
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Cambridge University Press

9780521779111, 9781139168717

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Preface

Basic Proof Theory ◽

10.1017/cbo9781139168717.001 ◽

2000 ◽

pp. ix-xii

Download Full-text

Modal and linear logic

Basic Proof Theory ◽

10.1017/cbo9781139168717.010 ◽

2000 ◽

pp. 283-316

Keyword(s):

Linear Logic

Download Full-text

Bibliography

Basic Proof Theory ◽

10.1017/cbo9781139168717.014 ◽

2000 ◽

pp. 379-403

Download Full-text

Gentzen systems

Basic Proof Theory ◽

10.1017/cbo9781139168717.004 ◽

2000 ◽

pp. 60-91

Keyword(s):

Gentzen Systems

Download Full-text

Bounds and permutations

Basic Proof Theory ◽

10.1017/cbo9781139168717.006 ◽

2000 ◽

pp. 147-177

Download Full-text

Resolution

Basic Proof Theory ◽

10.1017/cbo9781139168717.008 ◽

2000 ◽

pp. 230-257

Download Full-text

Categorical logic

Basic Proof Theory ◽

10.1017/cbo9781139168717.009 ◽

2000 ◽

pp. 258-282

Keyword(s):

Categorical Logic

Download Full-text

Proof theory of arithmetic

Basic Proof Theory ◽

10.1017/cbo9781139168717.011 ◽

2000 ◽

pp. 317-344

Keyword(s):

Proof Theory

Download Full-text

Second-order logic

Basic Proof Theory ◽

10.1017/cbo9781139168717.012 ◽

2000 ◽

pp. 345-366

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic

Download Full-text

Solutions to selected exercises

Basic Proof Theory ◽

10.1017/cbo9781139168717.013 ◽

2000 ◽

pp. 367-378

Download Full-text