Barry Hartley Slater

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008

2 EE Barry Hartley Slater: Harmonising natural deduction. Synthese 163(2): 187-198 (2008)

2006

1 EE Barry Hartley Slater: Epsilon Calculi. Logic Journal of the IGPL 14(4): 535-590 (2006)

2008
2	EE	Barry Hartley Slater: Harmonising natural deduction. Synthese 163(2): 187-198 (2008)
2006
1	EE	Barry Hartley Slater: Epsilon Calculi. Logic Journal of the IGPL 14(4): 535-590 (2006)