|
Showing 1 - 8 of
8 matches in All Departments
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
|
You may like...
Poor Things
Emma Stone, Mark Ruffalo, …
DVD
R449
R329
Discovery Miles 3 290
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|