Complexity bounds on proofs
- 期刊名称The Journal of Symbolic Logic
- 作者Hatcher, William S.; Hodgson, Bernard R.
- 卷第46卷
- 期第2期
- 印刷ISSN0022-4812
- 电子ISSN1943-5886
- 文件大小366.77KB
- 发表时间1981-06
- DOI10.2307/2273619
- 页码255-258
XVII. <i>Mineralogical notes:—Second series</i>Chapman, E.J. · The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science · 1853
Notes from India, Second Series.-A Visit to Ujjain-Bhartṛhari's Cave-Legends of King VikramaA. V. Williams Jackson · Journal of the American Oriental Society · 1902
LXIII.— <i>Natural history notes from the R.I.M.S. ship ‘Investigator,’ Capt. T. H. Heming, R. N., commanding</i> .—Series III., No. 15. <i>Second preliminary report on the deep-sea Alcyonaria collected in the Indian Ocean</i> .Thomson, J. Arthur; Henderson, W.D. · Journal of Natural History Series 7 · 1906
The Voyage of Sir Henry Middleton to the Moluccas, 1604–1606. A new and enlarged edition with an introduction and notes by Sir William Foster, C.I.E. Works issued by the Hakluyt Society. Second Series, No. LXXXVIII. pp. 209, maps 3, illustrations 1. 9 × 5½. London, 1943.Winstedt, R. O. · Journal of the Royal Asiatic Society of Great Britain & Ireland · 1944
Is Notes a Musicological Journal?Irving Lowens · Notes (Second Series) · 1967
Ethiopian Itineraries The Itinerário of Jerónimo Lobo. Translated by Donald M. Lockhart from the Portuguese text established and edited by M. G. da Costa with an introduction and notes by C. F. Beckingham. London: Hakluyt Society, 1984 (Second Series, Volume 162). Pp. xxxvi + 417. £15.Crummey, Donald · The Journal of African History · 1985
The misson of Friar William of Rubruck: his journey to the court of the Great Khan MÖngke 1253–55. Translated by Peter Jackson, introduction, notes and appedices by Peter Jackson with David Morgan. (Second series, Vol. 173) pp. 312, front., 4 maps. London, The Hakluyt Society, 1990. £25.00.Sinor, Denis · Journal of the Royal Asiatic Society · 1991
The Early Travels of Ibn Battūta The Travels of Ibn Battūta A.D. 1325–1354 translated with revisions and notes from the Arabic text edited by C. Defrémery and B. R. Sanguinetti. By H. A. R. Gibb. Vol. I. Cambridge, 1958. (The Hakluyt Society, Second Series, no. cx.)Hopkins, J. F. P. · The Journal of African History · 1960