A Note on Partial Postulate Sets for Propositional Logicby Stig Kanger
- 期刊名称The Journal of Symbolic Logic
- 作者Review by: T. Thacher Robinson
- 卷第22卷
- 期第3期
- 印刷ISSN0022-4812
- 文件大小313.67KB
- 发表时间1957-09
- DOI10.2307/2963661
- 页码330-331
Introduction to Tribology (Bhushan/Introduction) || IntroductionBhushan, Bharat · 2013
Introduction to Polymer Rheology (Shaw/Introduction) || IntroductionShaw, Montgomery T. · 2011
Introduction to Polymer Viscoelasticity (Shaw/Introduction) || IntroductionShaw, Montgomery T.; MacKnight, William J. · 2005
Introduction to Microfabrication (Franssila/Introduction to Microfabrication) || IntroductionFranssila, Sami · 2010
Introduction to Structured Finance (Fabozzi/Introduction) || IntroductionFabozzi, Frank J.; Davis, Henry A.; Choudhry, Moorad · 2012
An Introduction to Fund Management (Russell/An Introduction) || IntroductionRussell, Ray · 2012
An Introduction to Mutual Funds Worldwide (Russell/Introduction) || IntroductionRussell, Ray · 2012
Introduction to Nanoscience and Nanotechnology (Binns/Introduction to Nanoscience) || IntroductionBinns, Chris · 2010
IntroductionJoe Flaherty · SIAM Review · 2001
IntroductionJoe Flaherty · SIAM Review · 2001
IntroductionJoe Flaherty · SIAM Review · 1999
IntroductionJoe Flaherty · SIAM Review · 2004
IntroductionJoe Flaherty · SIAM Review · 2004
IntroductionJoe Flaherty · SIAM Review · 2004
IntroductionJoe Flaherty · SIAM Review · 2004
IntroductionJoe Flaherty · SIAM Review · 2005
The Feynman Operator CalculusW. L. Miranker and B. Weiss · SIAM Review · 1966
Semidefinite ProgrammingLieven Vandenberghe and Stephen Boyd · SIAM Review · 1996
Centrosymmetric MatricesAlan L. Andrew · SIAM Review · 1998
A Framework for Equilibrium EquationsGilbert Strang · SIAM Review · 1988
Geometric Statistics in TurbulencePeter Constantin · SIAM Review · 1994
Optimal Stopping Problems in Stochastic ControlAvner Friedman · SIAM Review · 1979
Mathematics of Speculative PricePaul A. Samuelson · SIAM Review · 1973
Mathematical Methods in Electromagnetismby Michel CessenatReview by: Peter Monk · SIAM Review · 1998