5570 results in Programming Languages and Applied Logic
Contents
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp vii-viii
-
- Chapter
- Export citation
Valued fields and elimination of imaginaries
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 80-88
-
- Chapter
- Export citation
Group actions and countable models
- from SURVEY ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 3-29
-
- Chapter
- Export citation
First order logics of individual theories
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 200-208
-
- Chapter
- Export citation
Index
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 297-306
-
- Chapter
- Export citation
Contents
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp vii-viii
-
- Chapter
- Export citation
A very slow growing hierarchy for
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 182-199
-
- Chapter
- Export citation
8 - Logic and theories
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 119-142
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp v-vi
-
- Chapter
- Export citation
11 - The recursion theorem and ordinal notations
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 187-208
-
- Chapter
- Export citation
3 - Primes and proofs
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 37-52
-
- Chapter
- Export citation
12 - The incompleteness theorems
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 209-224
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp ix-x
-
- Chapter
- Export citation
Dedication
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp v-vi
-
- Chapter
- Export citation
Linear logic as a framework for specifying sequent calculus
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 111-135
-
- Chapter
- Export citation
9 - Peano Arithmetic and computability
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 143-174
-
- Chapter
- Export citation
Borel irreducibility between two large families of Borel equivalence relations
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 100-110
-
- Chapter
- Export citation
Logical topologies and semantic completeness
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 68-79
-
- Chapter
- Export citation
Kripke models of certain subtheories of Heyting Arithmetic
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '99
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 136-142
-
- Chapter
- Export citation
15 - Iterated iteration and inexhaustibility
-
- Book:
- Inexhaustibility
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2004, pp 265-292
-
- Chapter
- Export citation