Barnaby Martin gave the York Semigroup Seminar on the 29th April as part of a double bill with Mark Lawson (Herriot Watt). He spoke on: A tetrachotomy for positive equality-free logic.
Barnaby Martin gave the York Semigroup Seminar on the 29th April as part of a double bill with Mark Lawson (Herriot Watt). He spoke on: A tetrachotomy for positive equality-free logic.