John Bacon

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1985

3 John Bacon: The Completeness of a Predicate-Functor Logic. J. Symb. Log. 50(4): 903-926 (1985)

1982

2 John Bacon: First-Order Logic Based on Inclusion and Abstraction. J. Symb. Log. 47(4): 793-808 (1982)

1980

1 John Bacon: Substance and First-Order Quantification Over Individual-Concepts. J. Symb. Log. 45(2): 193-203 (1980)

	1985
3		John Bacon: The Completeness of a Predicate-Functor Logic. J. Symb. Log. 50(4): 903-926 (1985)
	1982
2		John Bacon: First-Order Logic Based on Inclusion and Abstraction. J. Symb. Log. 47(4): 793-808 (1982)
	1980
1		John Bacon: Substance and First-Order Quantification Over Individual-Concepts. J. Symb. Log. 45(2): 193-203 (1980)