2008 |
17 | | Wilfrid Hodges,
Ruy J. G. B. de Queiroz:
Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings
Springer 2008 |
2007 |
16 | EE | Edmund Harriss,
Wilfrid Hodges:
Logic for Mathematical Writing.
Logic Journal of the IGPL 15(4): 313-320 (2007) |
2005 |
15 | | Wilfrid Hodges:
Detecting the Logical Content: Burley's 'Purity of Logic'.
We Will Show Them! (2) 2005: 69-116 |
2004 |
14 | EE | Wilfrid Hodges:
What languages have Tarski truth definitions?
Ann. Pure Appl. Logic 126(1-3): 93-113 (2004) |
2002 |
13 | EE | Wilfrid Hodges:
International Copyright and Mathematics.
Electronic Information and Communication in Mathematics 2002: 72-86 |
2001 |
12 | | Peter J. Cameron,
Wilfrid Hodges:
Some Combinatorics of Imperfect Information.
J. Symb. Log. 66(2): 673-684 (2001) |
11 | | Wilfrid Hodges:
Formal Features of Compositionality.
Journal of Logic, Language and Information 10(1): 7-28 (2001) |
1998 |
10 | EE | Wilfrid Hodges:
An editor recalls some hopeless papers.
Bulletin of Symbolic Logic 4(1): 1-16 (1998) |
9 | | Wilfrid Hodges:
The Laws of Distribution for Syllogisms.
Notre Dame Journal of Formal Logic 39(2): 221-230 (1998) |
1997 |
8 | | Wilfrid Hodges:
Jaakko Hintikka, The Principles of Mathematics Revisited
Journal of Logic, Language and Information 6(4): 457-460 (1997) |
7 | EE | Wilfrid Hodges:
Compositional Semantics for a Language of Imperfect Information.
Logic Journal of the IGPL 5(4): (1997) |
1991 |
6 | | Wilfrid Hodges:
Editorial.
J. Log. Comput. 1(6): 757-759 (1991) |
1988 |
5 | | John Doner,
Wilfrid Hodges:
Alfred Tarski and Decidable Theories.
J. Symb. Log. 53(1): 20-35 (1988) |
4 | | Wilfrid Hodges,
Wilfried Sieg:
A Symposium on Hilbert's Program.
J. Symb. Log. 53(2): 337 (1988) |
1986 |
3 | | Wilfrid Hodges:
Alfred Tarski.
J. Symb. Log. 51(4): 866-868 (1986) |
1980 |
2 | | Wilfrid Hodges:
Constructing Pure Injective Hulls.
J. Symb. Log. 45(3): 544-548 (1980) |
1972 |
1 | | Wilfrid Hodges:
On Order-Types of Models.
J. Symb. Log. 37(1): 69-70 (1972) |