Wilfrid Hodges - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Editors foreword for JCSS WoLLIC 2008Wilfrid Hodges, Ruy J. G. B. de Queiroz. jcss, 76(5):281-282, 2010. [doi]

Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of LogicWilfrid Hodges. BIRTHDAY 2010: 354-404 [doi]

Dependence of variables construed as an atomic formulaJouko A. Väänänen, Wilfrid Hodges. APAL, 161(6):817-828, 2010. [doi]

2009

Relative categoricity in abelian groups IIWilfrid Hodges, Anatoly Yakovlev. APAL, 158(3):203-231, 2009. [doi]

2008

Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, ProceedingsWilfrid Hodges, Ruy J. G. B. de Queiroz, editors, Volume 5110 of Lecture Notes in Computer Science, Springer, 2008.

2007

Logic for Mathematical WritingEdmund Harriss, Wilfrid Hodges. igpl, 15(4):313-320, 2007. [doi]

2005

Detecting the Logical Content: Burley s Purity of Logic Wilfrid Hodges. BIRTHDAY 2005: 69-116

2004

What languages have Tarski truth definitions?Wilfrid Hodges. APAL, 126(1-3):93-113, 2004. [doi]

2002

International Copyright and MathematicsWilfrid Hodges. icm 2003: 72-86 [doi]

2001

Some Combinatorics of Imperfect InformationPeter J. Cameron, Wilfrid Hodges. JSYML, 66(2):673-684, 2001.

Formal Features of CompositionalityWilfrid Hodges. jolli, 10(1):7-28, 2001.

1998

An editor recalls some hopeless papersWilfrid Hodges. bsl, 4(1):1-16, 1998. [doi]

The Laws of Distribution for SyllogismsWilfrid Hodges. ndjfl, 39(2):221-230, 1998.

1997

Jaakko Hintikka, The Principles of Mathematics RevisitedWilfrid Hodges. jolli, 6(4):457-460, 1997.

Compositional Semantics for a Language of Imperfect InformationWilfrid Hodges. igpl, 5(4), 1997. [doi]

1991

EditorialWilfrid Hodges. logcom, 1(6):757-759, 1991.

1988

Alfred Tarski and Decidable TheoriesJohn Doner, Wilfrid Hodges. JSYML, 53(1):20-35, 1988.

A Symposium on Hilbert s ProgramWilfrid Hodges, Wilfried Sieg. JSYML, 53(2):337, 1988.

1986

Alfred TarskiWilfrid Hodges. JSYML, 51(4):866-868, 1986.

1980

Constructing Pure Injective HullsWilfrid Hodges. JSYML, 45(3):544-548, 1980.

1972

On Order-Types of ModelsWilfrid Hodges. JSYML, 37(1):69-70, 1972.