![]() |
@article{DBLP:journals/sLogica/Dragalin95,
author = {Albert G. Drag{\'a}lin},
title = {Explicit algebraic models for constructive and classical
theories with non-standard elements},
journal = {Studia Logica},
volume = {55},
number = {1},
year = {1995},
pages = {33-61},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2004-01-09 by Michael Ley (ley@uni-trier.de)