| | |
@article{DBLP:journals/sLogica/GainaP07,
author = {Daniel G{\^a}in{\^a} and
Andrei Popescu},
title = {An Institution-Independent Proof of the Robinson Consistency
Theorem},
journal = {Studia Logica},
volume = {85},
number = {1},
year = {2007},
pages = {41-73},
ee = {http://dx.doi.org/10.1007/s11225-007-9022-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page