Intuitionistic logic freed of all metarules
- 期刊名称The Journal of Symbolic Logic
- 作者Corsi, Giovanna; Tassi, Gabriele
- 卷第72卷
- 期第4期
- 印刷ISSN0022-4812
- 电子ISSN1943-5886
- 文件大小903.94KB
- 发表时间2007-12
- DOI10.2178/jsl/1203350782
- 页码1204-1218
The Halos and Environments of Nearby Galaxies (HERON) SurveyRich, R. Michael; Brosch, Noah; Bullock, James; Burkert, Andreas; Collins, Michelle; de Groot, Laura; Kennefick, Julia; Koch, Andreas; Longstaff, Francis; Sales, Laura · Proceedings of the International Astronomical Union · 2016
Chemical composition of the outer halo globular cluster Palomar 15Koch, Andreas; Xu, Siyi; Rich, R. Michael · Astronomy & Astrophysics · 2019
THRESHING IN ACTION: THE TIDAL DISRUPTION OF A DWARF GALAXY BY THE HYDRA I CLUSTERKoch, Andreas; Burkert, Andreas; Rich, R. Michael; Collins, Michelle L. M.; Black, Christine S.; Hilker, Michael; Benson, Andrew J. · The Astrophysical Journal · 2012
A CHEMICAL CONFIRMATION OF THE FAINT BOÖTES II DWARF SPHEROIDAL GALAXYKoch, Andreas; Rich, R. Michael · The Astrophysical Journal · 2014
MAJOR MERGERS WITH SMALL GALAXIES: THE DISCOVERY OF A MAGELLANIC-TYPE GALAXY AT <i>z</i> = 0.12Koch, Andreas; Frank, Matthias J.; Pasquali, Anna; Rich, R. Michael; Rabitz, Andreas · The Astrophysical Journal · 2015
LIGHT, ALPHA, AND Fe-PEAK ELEMENT ABUNDANCES IN THE GALACTIC BULGEJohnson, Christian I.; Rich, R. Michael; Kobayashi, Chiaki; Kunder, Andrea; Koch, Andreas · The Astronomical Journal · 2014
A KINEMATIC STUDY OF THE ANDROMEDA DWARF SPHEROIDAL SYSTEMCollins, Michelle L. M.; Chapman, Scott C.; Rich, R. Michael; Ibata, Rodrigo A.; Martin, Nicolas F.; Irwin, Michael J.; Bate, Nicholas F.; Lewis, Geraint F.; Peñarrubia, Jorge; Arimoto, Nobuo; Casey, Caitlin M.; Ferguson, Annette M. N.; Koch, Andreas; McConnachie, Alan W.; Tanvir, Nial · The Astrophysical Journal · 2013
THE ACTIVE CENTAURSJewitt, David · The Astronomical Journal · 2009
A New Anomaly of Keplerian MotionSatō, Isao · The Astronomical Journal · 1998
UPDATED NEARBY GALAXY CATALOGKarachentsev, Igor D.; Makarov, Dmitry I.; Kaisina, Elena I. · The Astronomical Journal · 2013
A New Precession FormulaFukushima, Toshio · The Astronomical Journal · 2003
GALAXY GROUPSBrent Tully, R. · The Astronomical Journal · 2015
DIRBE COMET TRAILSArendt, Richard G. · The Astronomical Journal · 2014
PARAMETERS AND ABUNDANCES IN LUMINOUS STARSEarle Luck, R. · The Astronomical Journal · 2014
KPNO LUNAR OCCULTATION SUMMARY. III.Schmidtke, P. C.; Africano, J. L. · The Astronomical Journal · 2011