[Studies in Logic and the Foundations of Mathematics] Logic Colloquium 76, Proceedings of a conference Volume 87 || Adding Dependent Choice to the Prime Ideal Theorem
- 作者Pincus, David
- 文件大小1076.92KB
- 发表时间1977
- DOI10.1016/s0049-237x(09)70445-8
- 页码547-565
Public HealthMadhar, M.; Saidi, H.; Fikry, T.; Cermak, K.; Moungondo, F.; Schuind, F. · The Lancet · 1943
DNA Replicons for Plant Genome EngineeringBaltes, N. J.; Gil-Humanes, J.; Cermak, T.; Atkins, P. A.; Voytas, D. F. · The Plant Cell · 2014
Temporal Discrimination Learning in Abstinent Chronic AlcoholicsRegina McGlinchey-Berroth; Catherine B. Fortier; Laird S. Cermak; John F. Disterhoft · 2002
Synthesis of Derivatives of (1R)-(-)- and (1S)-(+)-10-Camphorsulfonic AcidCermak, Steven C.; Wiemer, David F. · Journal of Chemical Education · 1999
SUBSTANCE OF IDIOMS: PERENNIAL PROBLEMS, LACK OF DATA OR THEORY?Cermak, F. · International Journal of Lexicography · 2001
Water flux in a hybrid poplar standHinckley, T. M.; Brooks, J. R.; Cermak, J.; Ceulemans, R.; Kucera, J.; Meinzer, F. C.; Roberts, D. A. · Tree Physiology · 1994
Flux growth of crystals of some transition metal fluoridesB. M. Wanklyn; F. R. Wondre; B. J. Garrard; J. Cermak; W. Davison · 1981
Evaluating “jealousy” in infants: A behavior-analytic approach.Valdovinos, Maria G.; Cermak, Samantha M.; Gallenberg, Adam; Baker, Dustin F. · Behavioral Development Bulletin · 2010
Adjectives in WordNetGross, Derek; Miller, Katherine J. · International Journal of Lexicography · 1990
Learners' Use of Corpus ExamplesFrankenberg-Garcia, A. · International Journal of Lexicography · 2012
Software for Remote Dictionary CollaborationHatton, J. · International Journal of Lexicography · 2011
Braving Synonymy: From Data to DictionaryMoon, R. · International Journal of Lexicography · 2013
The Explanatory Technique of TranslationIlson, R. · International Journal of Lexicography · 2013
English Verbs as a Semantic NetFellbaum, Christiane · International Journal of Lexicography · 1990
The Corpus Revolution in LexicographyHanks, P. · International Journal of Lexicography · 2012
Wa Wa LexicographyCarr, M. · International Journal of Lexicography · 1992