Ebury Press (9/2018)
Reference : SVALIVCN-9781785031168
LIVRE A L’ETAT DE NEUF. EXPEDIE SOUS 3 JOURS OUVRES. NUMERO DE SUIVI COMMUNIQUE AVANT ENVOI, EMBALLAGE RENFORCE. EAN:9781785031168
Bookit!
M. Alexandre Bachmann
Passage du Rond Point 4
1205 Genève
Switzerland
Virement bancaire, PayPal, TWINT!
London, J. Brotherton, 1735. 12mo. Bound in one beautiful contemporary full mottled calf binding with four raised bands and red title-label with gilt lettering to spine. Single gilt line-border to boards, inside which a lovely blindstamped ornamental border to one side. All edges of boards with blindstamped ornamentations. P. 1 has a contemporary neat inscription reading: ""Exam.d Morris"" - in the author's own hand? Macclesfield copy, with the armorial bookplate of Earls of Macclesfield to pasted down front end-paper and Shirburn Castle (seat of the Earls of Macclesfield) armorial blindstamp to first four leaves Ex-libris. A lovely, clean, and crisp copy. IV, 48 + (2), 92 pp.
Exceedingly scarce first edition of Morris' book of tables for renewing and purchasing leases in relation to age, being the most accurate and comprehensive list of tables published at the time. The work was considered controversial due to the proposed fall in rent in relation to age, which was seen as a discrimination against young people"" a concept which today has been implemented in virtually all aspects of banking and insurance. ""As late as 1735, Gael Morris, a writer of commercial manuals on annuities and leases, explained that annuities could frequently be purchased cheaper on lives aged between 30 and 40 than on lives under 25 because 'the Hazards of Persons between 15 and 25 are so many' - a conclusion making some intuitive sense but strictly at odds with the lessons taught by Halley's table. There seems to have existed, in short, a deep reluctance to embrace the discovery that the value of annuities and land leases made for the duration of a life (or lives) varied predictably with the age(s) of the lessee(s)."" (Clark, Betting On Lives: The Culture of Life Insurance in England, 1695-1775, p. 116).Gael Morris worked as a mathematician and astronomer and was the assistant of British astronomer James Bradley for several years, where he helped to compute tables of planetary orbits.The work is of the utmost scarcity, with only five copies listed on OCLC (two in the US) and merely one copy listed at auction within the last 40 years (being this copy). Goldsmith: 7269.Hanson: 4767Macclesfield: 1455
1 vol. in-12° br. format poche, couv. pelliculée illustrée, Très bon état d'occasion.
Phone number : 06.31.29.75.65
1 volume in-8° broché, 126 p. + illustrations. Très bon état d'occasion. Tampon héraldique ex-libris.
Phone number : 06.31.29.75.65
(No place), The Association for Symbolic Logic, 1940. Large 8vo. Bound in blue half cloth with silver lettering to spine. In ""Journal of Symbolic Logic"", Volume 5. Small paper label to lower part of spine and upper inner margin of front board. Stamp to title-page and last leaf, otherwise internally fine. Pp. 56-68. (Entire copy: IV, 188 pp.).
First printing of Church's seminal paper in which he introduced his Type Theory: A simpler and more general Type Theory than the one introduced by Bertrand Russell in 1908 and Whitehead & Russell in 1927.""Church's type theory is a formal logical language which includes first-order logic, but is more expressive in a practical sense. It is used, with some modifications and enhancements, in most modern applications of type theory. It is particularly well suited to the formalization of mathematics and other disciplines and to specifying and verifying hardware and software. A great wealth of technical knowledge can be expressed very naturally in it. With possible enhancements, Church's type theory constitutes an excellent formal language for representing the knowledge in automated information systems, sophisticated automated reasoning systems, systems for verifying the correctness of mathematical proofs, and certain projects involving logic and artificial intelligence."" (SEP) Order-nr.: 48379
Small 8vo. All orig. wrappers, uncut. Collection des Chefs-d'Oeuvre No XXXII. With 20 etched plates by Mariette Lydis.