Theorem Proving in Higher Order Logics [Risorsa elettronica] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Otmane Ait Mohamed, César Muñoz, Sofiène Tahar

• Record Nr.: UNINA990009254430403321
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer, 2008
• ISBN: 9783540710677
• Collana: Lecture Notes in Computer Science , 0302-9743 ; 5170
• Lingua di pubblicazione: Inglese
• Formato: Risorsa elettronica
• Livello bibliografico: Monografia

Three sermons [[electronic resource] ] : tvvo of them appointed for the Spittle, preached in St. Pauls Church, by John Squier, vicar of St. Leonards Shoredich in Middlesex: and John Lynch, parson of Herietsham in Kent

• Record Nr.: UNISA996388172103316
• Autore: Squire John <ca. 1588-1653.>
• Pubbl/distr/stampa: London, : Printed by Robert Young for Humfrey Blunden, neere the Castle Taverne in Corne-hill, 1637
• Descrizione fisica: [4], 108 p
• Soggetti: Sermons, English - 17th century
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: "Pascha Christianum .. By John Lynch" and "A sermon, preached in S. Pauls Church in London, by John Squier priest" each have separate dated title page; register and pagination are continuous.; Reproduction of the original in the British Library.
• Sommario/riassunto: eebo-0018