The impact of design research journals
- 期刊名称Research in Engineering Design
- 作者Reich, Yoram
- 卷第25卷
- 期第4期
- 印刷ISSN0934-9839
- 电子ISSN1435-6066
- 文件大小86.77KB
- 发表时间2014-10
- DOI10.1007/s00163-014-0185-5
- 页码279-281
Forcing in Finite StructuresDomenico Zambella · 1997
Computational Randomness and LownessSebastiaan A. Terwijn and Domenico Zambella · The Journal of Symbolic Logic · 2001
Notes on polynomially bounded arithmeticZambella, Domenico · The Journal of Symbolic Logic · 1996
The Real truthBaratella, Stefano; Zambella, Domenico · Mathematical Logic Quarterly · 2015
Generic Expansions of Countable ModelsBarbina, Silvia; Zambella, Domenico · Notre Dame Journal of Formal Logic · 2012
Algebraic Methods and Bounded FormulasZambella, Domenico · Notre Dame Journal of Formal Logic · 1997
End extensions of models of linearly bounded arithmeticDomenico Zambella · 1997
Homology of proof-netsFrançois Métayer · Archive for Mathematical Logic · 1994
Countable models of 1-based theoriesAnand Pillay · Archive for Mathematical Logic · 1992
Intuitionistic typical ambiguityDaniel Dzierzgowski · Archive for Mathematical Logic · 1992
Onκ-complete reduced productsTapani Hyttinen · Archive for Mathematical Logic · 1992
The monadic theory of (ω2,Shmuel Lifsches; Saharon Shelah · Archive for Mathematical Logic · 1992
Strong counterexamples to Borel hyperdeterminacyC. Ward Henson · Archive for Mathematical Logic · 1992
Subsets of models of arithmeticRoman Kossak; Jeffrey B. Paris · Archive for Mathematical Logic · 1992
Constructibility in higher order arithmeticsA. Sochor · Archive for Mathematical Logic · 1993