| | |
@article{DBLP:journals/jsyml/Forster83,
author = {Thomas E. Forster},
title = {Further Consistency and Independence Results in NF Obtained
by the Permutation Method},
journal = {J. Symb. Log.},
volume = {48},
number = {2},
year = {1983},
pages = {236-238},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2008-12-26 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page