The description for this book, The Calculi of Lambda Conversion. (AM-6), will be forthcoming.

Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, "The Calculi of Lambda-Conversion" (1941), established an invaluable tool that computer scientists still use today.

Even beyond the accomplishment of that book, however, his second Princeton book, "Introduction to Mathematical Logic," defined its subject for a generation. Originally published in Princeton's Annals of Mathematics Studies series, this book was revised in 1956 and reprinted a third time, in 1996, in the Princeton Landmarks in Mathematics series. Although new results in mathematical logic have been developed and other textbooks have been published, it remains, sixty years later, a basic source for understanding formal logic.

Church was one of the principal founders of the Association for Symbolic Logic; he founded the "Journal of Symbolic Logic" in 1936 and remained an editor until 1979 At his death in 1995, Church was still regarded as the greatest mathematical logician in the world.

Title: A discourse delivered before the Georgia Historical Society: on the occasion of its 6th anniversary, on Wednesday, 12th Feb., 1845.Author: Alonzo ChurchPublisher: Gale, Sabin Americana Description: Based on Joseph Sabin's famed bibliography, Bibliotheca Americana, Sabin Americana, 1500--1926 contains a collection of books, pamphlets, serials and other works about the Americas, from the time of their discovery to the early 1900s. Sabin Americana is rich in original accounts of discovery and exploration, pioneering and westward expansion, the U.S. Civil War and other military actions, Native Americans, slavery and abolition, religious history and more.Sabin Americana offers an up-close perspective on life in the western hemisphere, encompassing the arrival of the Europeans on the shores of North America in the late 15th century to the first decades of the 20th century. Covering a span of over 400 years in North, Central and South America as well as the Caribbean, this collection highlights the society, politics, religious beliefs, culture, contemporary opinions and momentous events of the time. It provides access to documents from an assortment of genres, sermons, political tracts, newspapers, books, pamphlets, maps, legislation, literature and more.Now for the first time, these high-quality digital scans of original works are available via print-on-demand, making them readily accessible to libraries, students, independent scholars, and readers of all ages.++++The below data was compiled from various identification fields in the bibliographic record of this title. This data is provided as an additional tool in helping to insure edition identification: ++++SourceLibrary: Huntington LibraryDocumentID: SABCP04142800CollectionID: CTRG02-B980PublicationDate: 18450101SourceBibCitation: Selected Americana from Sabin's Dictionary of books relating to AmericaNotes: Collation: 34, 6 p.; 22 cm