A Compleat System of Astronomy - Vol One by Charles Leadbetter - 1728

A Barps: J. B. G. Musier, 1779. Title page dated 1770; colophon dated 1779. In French. Heavily worn. First part of a series of mathematics texts written by Bezout to be readily understandable to students. Full cheep, 19.5 cm tall, xvi, 256 pages, illustrated with small engraved head and tailpieces. Covers extremely chipped with surface split to spine covering, sound binding, front free endpaper absent, rear free endpaper heavily chipped, pages aged with occasional marginalia in French, a few minor chips and closed edge tears, two small ink spots to far outer edges of the first sixteen pages (not affecting text).. Hard Cover. Fair. 12mo - over 6¾" - 7¾" tall.

Baltimore, MD: The Association for Computing Machinery, 1965. Quarto. Original cream wrappers printed in black. Remnants of a mailing label to the upper wrapper. Just a little rubbed and creased. Excellent condition. First publication of the resolution principle, the standard of logical deduction in AI applications. The basic computational method in logic programming, the unification algorithm, was proposed by mathematician Jacques Herbrand in 1930, but its first practical use was not discovered until Robinson introduced it in this paper as the basic operation of his resolution principle. "Robinson described his resolution principle as 'machine-oriented' in that it was particularly suitable for proofs to be performed by computer, having only one rule of inference that could be applied many times. Robinson's resolution has since been used as the standard of logical deduction in AI applications" (Hook & Norman, Origins of Cyberspace 865). "Born in Halifax, England, and having served in the RAF,… Read More

Tel-Aviv: Omanuth, 1948. First Edition . Orig. Illustrated Wrappers. Near Fine. L.Wolfart. Compiled by Miriam Arnon. Charming illustrated arithmetic booklet for young children in Hebrew. With stunning colored illustrations by L. Wolfart. Published in Tel- Aviv by Chewrath "Omanuth" in the early months of 1948 in Pre-State Israel - "printed in Palestine"- (the State of Israel was established in May 1948) 32pp. Original wrappers (these with insignificant foxing). Otherwise a fine copy, very clean and fresh. - Size : 6,29 x x 7,87inch - 16x 20cm NOT TO BE SEEN IN THIS CONDITION! Rare.

1684 Japanese Mathematics Yoshinori Abacus Math Illustrated Magic Squares Kyoto

A rare, 17th century Japanese woodblock print of "Sanpouketsugishou" written by Isomura Yoshinori, a mathematician. Isomura was called 'the master of the abacus' because he solved problems that would otherwise not be possible without using algebra, and the abacus features in many illustrations as does his interest in 'magic squares, magic circles and magic wheels.' This book contains solutions to 12 problems published in an earlier work and provides 150 more.

This rare edition is written in the typical handwritten column format bound in the "fukurotoji" style (Keio) complete with illustrations of mathematic problems, shapes, diagrams, and people and animals using an abacus throughout!
Item number: #16576
Price: $599
Isomura Yoshinori
Arithmetic Algorithm Sanpouketsugishou算法闕疑抄(さんぽうけつぎしょう)
Kyoshi (Kyoto): Hanbei Nagamura, Gen Sadayoshi [1684]

Details:

·
Collation: Complete with all… Read More

New York: Basic Books, 1979. First Edition, Eleventh Printing. Hardcover. Small quarto. 9.5 x 6.5 inches. [5], vi-xxi, [3], 3-777, [1] pp. Very Good+ / Very Good+. Gilt spine-titled brown cloth on board. Unclipped dust jacket, showing price of $18.50. Top edge of case slightly faded. Front board slightly bowed. Dust jacket spine slightly creased at head and faded with some fading along left edge of front panel. Dust jacket now in protective archival cover. 1980 Pulitzer Prize-winning "metaphorical fugue on minds and machines in the spirit of Lewis Carroll" published when the author was still an Assistant Professor at Indiana University.

A Barps: J. B. G. Musier, 1779. Title page dated 1770; colophon dated 1779. In French. Heavily worn. First part of a series of mathematics texts written by Bezout to be readily understandable to students. Full cheep, 19.5 cm tall, xvi, 256 pages, illustrated with small engraved head and tailpieces. Covers extremely chipped with surface split to spine covering, sound binding, front free endpaper absent, rear free endpaper heavily chipped, pages aged with occasional marginalia in French, a few minor chips and closed edge tears, two small ink spots to far outer edges of the first sixteen pages (not affecting text).. Hard Cover. Fair. 12mo - over 6¾" - 7¾" tall.

Baltimore, MD: The Association for Computing Machinery, 1965. Quarto. Original cream wrappers printed in black. Remnants of a mailing label to the upper wrapper. Just a little rubbed and creased. Excellent condition. First publication of the resolution principle, the standard of logical deduction in AI applications. The basic computational method in logic programming, the unification algorithm, was proposed by mathematician Jacques Herbrand in 1930, but its first practical use was not discovered until Robinson introduced it in this paper as the basic operation of his resolution principle. "Robinson described his resolution principle as 'machine-oriented' in that it was particularly suitable for proofs to be performed by computer, having only one rule of inference that could be applied many times. Robinson's resolution has since been used as the standard of logical deduction in AI applications" (Hook & Norman, Origins of Cyberspace 865). "Born in Halifax, England, and having served in the RAF,… Read More

Tel-Aviv: Omanuth, 1948. First Edition . Orig. Illustrated Wrappers. Near Fine. L.Wolfart. Compiled by Miriam Arnon. Charming illustrated arithmetic booklet for young children in Hebrew. With stunning colored illustrations by L. Wolfart. Published in Tel- Aviv by Chewrath "Omanuth" in the early months of 1948 in Pre-State Israel - "printed in Palestine"- (the State of Israel was established in May 1948) 32pp. Original wrappers (these with insignificant foxing). Otherwise a fine copy, very clean and fresh. - Size : 6,29 x x 7,87inch - 16x 20cm NOT TO BE SEEN IN THIS CONDITION! Rare.

1684 Japanese Mathematics Yoshinori Abacus Math Illustrated Magic Squares Kyoto

A rare, 17th century Japanese woodblock print of "Sanpouketsugishou" written by Isomura Yoshinori, a mathematician. Isomura was called 'the master of the abacus' because he solved problems that would otherwise not be possible without using algebra, and the abacus features in many illustrations as does his interest in 'magic squares, magic circles and magic wheels.' This book contains solutions to 12 problems published in an earlier work and provides 150 more.

This rare edition is written in the typical handwritten column format bound in the "fukurotoji" style (Keio) complete with illustrations of mathematic problems, shapes, diagrams, and people and animals using an abacus throughout!
Item number: #16576
Price: $599
Isomura Yoshinori
Arithmetic Algorithm Sanpouketsugishou算法闕疑抄(さんぽうけつぎしょう)
Kyoshi (Kyoto): Hanbei Nagamura, Gen Sadayoshi [1684]

Details:

·
Collation: Complete with all… Read More

New York: Basic Books, 1979. First Edition, Eleventh Printing. Hardcover. Small quarto. 9.5 x 6.5 inches. [5], vi-xxi, [3], 3-777, [1] pp. Very Good+ / Very Good+. Gilt spine-titled brown cloth on board. Unclipped dust jacket, showing price of $18.50. Top edge of case slightly faded. Front board slightly bowed. Dust jacket spine slightly creased at head and faded with some fading along left edge of front panel. Dust jacket now in protective archival cover. 1980 Pulitzer Prize-winning "metaphorical fugue on minds and machines in the spirit of Lewis Carroll" published when the author was still an Assistant Professor at Indiana University.