Repository | Journal | Volume

COPR BookmarkLink
236437

2008

137 Pages

ISBN n/a

Synthese

Essays in honor of William Craig

Vol. 164 (3)

Publication details

Full citation:

(2008). Essays in honor of William Craig. Synthese 164 (3).

Table of Contents

Introduction

Mancosu Paolo

313-319

Open Access Link
Elimination problems in logic

William Lane Craig

321-332

Open Access Link
The road to two theorems of logic

William Lane Craig

333-339

Open Access Link
Harmonious logic

Feferman Solomon

341-357

Open Access Link
Some remarks on the bearing of model theory on the theory of theories

Demopoulos William

359-383

Open Access Link
Wissenschaftslogik

Friedman Michael

385-400

Open Access Link
The Craig interpolation theorem in abstract model theory

Väänänen Jouko

401-420

Open Access Link
Interpolation in computing science

Renardel de Lavalette Gerard R

437-450

Open Access Link
The many faces of interpolation

van Benthem Johan

451-460

Open Access Link
Is this table of contents incomplete? Click here to add the missing references

This document is unfortunately not available for download at the moment.