Henkin-Keisler Modelsby G. Weaver
- 期刊名称Studia Logica: An International Journal for Symbolic Logic
- 作者Review by: Jan Woleński
- 卷第67卷
- 期第1期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小486.60KB
- 发表时间2001-02
- DOI10.2307/20016259
- 页码114-116
Near Arithmetic Progressions in Sparse SetsSteven C. Leth · Proceedings of the American Mathematical Society · 2006
Some nonstandard methods in combinatorial number theorySteven C. Leth · Studia Logica · 1988
Meager sets on the hyperfinite time lineKeisler, H. Jerome; Leth, Steven C. · The Journal of Symbolic Logic · 1991
An Asymptotic Formula for Powers of Binomial CoefficientsJeff D. Farmer and Steven C. Leth · The Mathematical Gazette · 2005
An asymptotic formula for powers of binomial coefficientsFarmer, Jeff D.; Leth, Steven C. · The Mathematical Gazette · 2004
Sequences in countable nonstandard models of the natural numbersSteven C. Leth · Studia Logica · 1988
Sequences in Countable Nonstandard Models of the Natural NumbersSteven C. Leth · Studia Logica: An International Journal for Symbolic Logic · 1988
Vagueness || Reasoning with Slippery PredicatesStewart Shapiro · Studia Logica: An International Journal for Symbolic Logic · 2008
A Compact Representation of ProofsDale A. Miller · Studia Logica: An International Journal for Symbolic Logic · 1987
Minimally Inconsistent LPGraham Priest · Studia Logica: An International Journal for Symbolic Logic · 1991
O dwojakim rozumieniu uzasadniania dedukcyjnegoMaria Kokoszyńska · Studia Logica: An International Journal for Symbolic Logic · 1962
Combining Logics II || Front MatterStudia Logica: An International Journal for Symbolic Logic · 1997
On Proofs of RejectionWalenty Staszek · Studia Logica: An International Journal for Symbolic Logic · 1971
On Deontic LogicLeon Gumański · Studia Logica: An International Journal for Symbolic Logic · 1980
Logic of Action || Back MatterStudia Logica: An International Journal for Symbolic Logic · 1992