5571 results in Programming Languages and Applied Logic
7 - Resolution
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 230-257
-
- Chapter
- Export citation
Solutions to selected exercises
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 367-378
-
- Chapter
- Export citation
4 - Cut elimination with applications
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 92-146
-
- Chapter
- Export citation
3 - Gentzen systems
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 60-91
-
- Chapter
- Export citation
Basic Proof Theory
-
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000
2 - N-systems and H-systems
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 35-59
-
- Chapter
- Export citation
5 - Bounds and permutations
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 147-177
-
- Chapter
- Export citation
8 - Categorical logic
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 258-282
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 379-403
-
- Chapter
- Export citation
Contents
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp v-viii
-
- Chapter
- Export citation
9 - Modal and linear logic
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 283-316
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 1-34
-
- Chapter
- Export citation
10 - Proof theory of arithmetic
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp 317-344
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp i-iv
-
- Chapter
- Export citation
Preface
-
- Book:
- Basic Proof Theory
- Published online:
- 05 June 2012
- Print publication:
- 27 July 2000, pp ix-xii
-
- Chapter
- Export citation
11 - Stack and Queue
- from PART TWO - DATA STRUCTURES
-
- Book:
- Fundamentals of OOP and Data Structures in Java
- Published online:
- 05 June 2012
- Print publication:
- 05 June 2000, pp 197-213
-
- Chapter
- Export citation
6 - Implementing Simple GUIs in Java
- from PART ONE - FOUNDATIONS
-
- Book:
- Fundamentals of OOP and Data Structures in Java
- Published online:
- 05 June 2012
- Print publication:
- 05 June 2000, pp 95-118
-
- Chapter
- Export citation
13 - Lists
- from PART TWO - DATA STRUCTURES
-
- Book:
- Fundamentals of OOP and Data Structures in Java
- Published online:
- 05 June 2012
- Print publication:
- 05 June 2000, pp 227-262
-
- Chapter
- Export citation
5 - GUIs: Basic Concepts
- from PART ONE - FOUNDATIONS
-
- Book:
- Fundamentals of OOP and Data Structures in Java
- Published online:
- 05 June 2012
- Print publication:
- 05 June 2000, pp 77-94
-
- Chapter
- Export citation
Contents
-
- Book:
- Fundamentals of OOP and Data Structures in Java
- Published online:
- 05 June 2012
- Print publication:
- 05 June 2000, pp vii-xii
-
- Chapter
- Export citation