Second Symposium in Linear Programming
- 期刊名称Econometrica
- 作者Dorfman, Robert; Antosiewicz, H. A.
- 卷第26卷
- 期第4期
- 印刷ISSN0012-9682
- 文件大小136.35KB
- 发表时间1958-10
- DOI10.2307/1907529
Notes and newsW. P. Van Stigt; D. Van Dalen · 1977
Abstracts of papersD. J. A. Crommelin'; F. van Dalen; G. F. A. Kersten; A. M. H. van der Put; T. Teerlink; E. C. Beuvery; A. H. de Boer; H. Vromans; C. F. Lerk; P. de Haan; M. F. Saettone; B. Giannaccini; L. Naber; H. W. Frijlink; A. J. M. Schoonen; F. Moolenaar; D. K. F. Meijer; J. Verhoeven; M. E. de Vries; H. E. Junginger · 1987
Intuitionistic Free Abelian GroupsD. van Dalen; F. J. De Vries · 1988
An interpretation of intuitionistic analysisD. van Dalen · 1978
AnnouncementD. van Dalen · 1986
Book reviewD. van Dalen · 1993-1994
Football Games In AntiquityDalen, D. B. Van; Sasajima, Kohsuke · Quest · 1965
How to glue analysis modelsVan Dalen, D. · The Journal of Symbolic Logic · 1984
Computability and λ-DefinabilityA. M. Turing · The Journal of Symbolic Logic · 1937
Definability and Decision Problems in ArithmeticJulia Robinson · The Journal of Symbolic Logic · 1949
Arithmetical Problems and Recursively Enumerable PredicatesMartin Davis · The Journal of Symbolic Logic · 1953
The Interpretability Logic of Peano ArithmeticAlessandro Berarducci · The Journal of Symbolic Logic · 1990
Steps Toward a Constructive NominalismNelson Goodman and W. V. Quine · The Journal of Symbolic Logic · 1947
A Completeness Theorem in Modal LogicSaul A. Kripke · The Journal of Symbolic Logic · 1959
Models and RealityHilary Putnam · The Journal of Symbolic Logic · 1980
A Theory of Restricted Quantification ITheodore Hailperin · The Journal of Symbolic Logic · 1957