dblp.uni-trier.dewww.uni-trier.de

John Bacon Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - 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)

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)