Items where Author is "Boxall, Gareth"

[Atom feed] Atom [RSS2 feed] RSS
[BatchList tool] Batch List
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.

Article

Boxall, Gareth and Kestner, Charlotte orcid iconORCID: 0000-0001-8976-2981 (2017) The definable (p, q)-theorem for distal theories. The Journal of Symbolic Logic, 83 (12). pp. 123-127.

Penazzi, Davide orcid iconORCID: 0000-0002-9732-1577, Boxall, Gareth, Kestner, Charlotte orcid iconORCID: 0000-0001-8976-2981, Omar Aziz, Alexandra and Bradley-Williams, David (2013) Weak One-Basedness. Notre Dame Journal of Formal Logic, 54 (3-4). pp. 435-448.

This list was generated on Sat Nov 23 09:14:58 2024 UTC.