A compact representation of proofs
- 期刊名称Studia Logica
- 作者Dale A. Miller
- 卷第46卷
- 期第4期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小1776.52KB
- 发表时间1987-12
- DOI10.1007/bf00370646
- 页码347-370
Nonstandard Measure Theory: Avoiding Pathological SetsFrank Wattenberg · Transactions of the American Mathematical Society · 1979
DecaysBanner, D.; Frank, J.; Gormley, M.; Koester, L. J.; Raither, S.; Smith, J. H.; Wattenberg, A. · Physical Review D · 1973
Nonstandard Measure Theory-Hausdorff MeasureFrank Wattenberg · Proceedings of the American Mathematical Society · 1977
Theorist.by Prescience CorporationReview by: Frank Wattenberg · The American Mathematical Monthly · 1991
Nonstandard Analysis and Constructivism?Frank Wattenberg · Studia Logica: An International Journal for Symbolic Logic · 1988
Recidivism among girls.Wattenberg, William W.; Saunders, Frank · The Journal of Abnormal and Social Psychology · 1955
Nonstandard measure theory–Hausdorff measureWattenberg, Frank · Proceedings of the American Mathematical Society · 1977
Structured meanings and reflexive domainsSerge Lapierre · Studia Logica · 1992
The ω-ruleMichael Thau · Studia Logica · 1992
The logic of linear toleranceGiorgie Dzhaparidze · Studia Logica · 1992
Revision algebra semantics for conditional logicJohn Pais · Studia Logica · 1992
Books receivedStudia Logica · 1992
From the editorsM. E. Adams; W. Dziobiak · Studia Logica · 1996
FreeQ-distributive latticesRoberto Cignoli · Studia Logica · 1996
Priestley duality for some subalgebra latticesGeorges Hansoul · Studia Logica · 1996