Lives of the Engineers with an Account of Their Principal Works[5 volumes] by Smiles, Samuel

John Murray. London. 1857. Third Edition, Revised, With Additions. The same year as the First edition. 8vo. (8.8 x 5.8 inches). Portrait frontis. Finely bound, by Frost & Co, of Bath, in half tan calf. Spine with five raised bands, each with gilt floral wavy role. Compartments decorated with double ruled borders. Within the borders are floral corner decorations and decorative centre pieces. Red and blue labels, ruled and lettered in gilt. Tan cloth on boards. Marbled endpapers. Top edge gilt. A fine copy in a highly attractive fine binding.

London: John Weale, 1853 second edition. 3 volumes published between 1853 and 1862. viii and 545 pages; ii and 589 pages; ii and 800 pages. 327 plates. Tall 8vo. Publisher's blind stamped diced red cloth backed in quarter calf, bookplates of the Oxford and Cambridge University Club with neat ownership stamps on the titlepages only. Encyclopaedic reference book with articles on topics from abbatis to zigzag.

1937. J.P. (John Peter) Laux became a Master Mechanic in 1915 for the Lehigh Railway and rose to Superintendent of Motive Power when Lehigh RR was its highest. He produced this manuscript of which there are no known original copies there are 57 hand mounted photographs in the basic engines and concludes with the Locomotive Ownership by year, 1856-1936. The Average Tractive Force in 1921 was 37,621 lbs but by 1936 it had increased to 51, 293 lbs. The No. 5100 was delivered in 1931 as a class T-1 (two were delivered, Richard Duley notes Baldwin also delivered later at Class T-1a). This original work complements minor details in Duley's significant contribution. There are no copies on OCLC. Since the age of steam ended, these magnificent workhorses were often scrapped. Very few of the locomotives have survived but here are nice black-and-white photographs from Superintendent J.P. Laux that show the Lehigh Valley Railroad's history in the period just before it was supplanted by diesel and the emergence… Read More

Troy NY: W. & L. E. Gurley, 1874. Twenty First Edition. Hardcover. Very Good with no dust jacket. This is the Twenty First Edition. 234 pages plus table of contents and ads. American Engineers & Surveyors Instruments. catalog of products available including solar compass, compasses, transits, leveling instruments, hand levels, barometers, many types of measuring tapes, etc. many illustrations. a few small spots on covers. tiny pinhole to cloth at spine. light foxing to inner front and rear cover. rear free end page lacking. ; 4 1/2 x 6 3/4

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

John Murray. London. 1857. Third Edition, Revised, With Additions. The same year as the First edition. 8vo. (8.8 x 5.8 inches). Portrait frontis. Finely bound, by Frost & Co, of Bath, in half tan calf. Spine with five raised bands, each with gilt floral wavy role. Compartments decorated with double ruled borders. Within the borders are floral corner decorations and decorative centre pieces. Red and blue labels, ruled and lettered in gilt. Tan cloth on boards. Marbled endpapers. Top edge gilt. A fine copy in a highly attractive fine binding.

London: John Weale, 1853 second edition. 3 volumes published between 1853 and 1862. viii and 545 pages; ii and 589 pages; ii and 800 pages. 327 plates. Tall 8vo. Publisher's blind stamped diced red cloth backed in quarter calf, bookplates of the Oxford and Cambridge University Club with neat ownership stamps on the titlepages only. Encyclopaedic reference book with articles on topics from abbatis to zigzag.

1937. J.P. (John Peter) Laux became a Master Mechanic in 1915 for the Lehigh Railway and rose to Superintendent of Motive Power when Lehigh RR was its highest. He produced this manuscript of which there are no known original copies there are 57 hand mounted photographs in the basic engines and concludes with the Locomotive Ownership by year, 1856-1936. The Average Tractive Force in 1921 was 37,621 lbs but by 1936 it had increased to 51, 293 lbs. The No. 5100 was delivered in 1931 as a class T-1 (two were delivered, Richard Duley notes Baldwin also delivered later at Class T-1a). This original work complements minor details in Duley's significant contribution. There are no copies on OCLC. Since the age of steam ended, these magnificent workhorses were often scrapped. Very few of the locomotives have survived but here are nice black-and-white photographs from Superintendent J.P. Laux that show the Lehigh Valley Railroad's history in the period just before it was supplanted by diesel and the emergence… Read More

Troy NY: W. & L. E. Gurley, 1874. Twenty First Edition. Hardcover. Very Good with no dust jacket. This is the Twenty First Edition. 234 pages plus table of contents and ads. American Engineers & Surveyors Instruments. catalog of products available including solar compass, compasses, transits, leveling instruments, hand levels, barometers, many types of measuring tapes, etc. many illustrations. a few small spots on covers. tiny pinhole to cloth at spine. light foxing to inner front and rear cover. rear free end page lacking. ; 4 1/2 x 6 3/4

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