One of the pioneers of mathematical logic in the twentieth century was Alonzo Church. He introduced such concepts as the lambda calculus, now an essential tool of computer science, and was the founder of the Journal of Symbolic Logic. In Introduction to Mathematical Logic, Church presents a masterful overview of the subject--one which should be read by every researcher and student of logic. The previous edition of this book was in the Princeton Mathematical Series.
"Sinopsis" puede pertenecer a otra edición de este libro.
Alonzo Church (1903–1995) was a renowned mathematician, logician, and philosopher. Together with his student Alan Turing, he is considered one of the founders of computer science.
This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work. As a textbook it offers a beginning course in mathematical logic, but presupposes some substantial mathematical background.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: Evergreen Goodwill, Seattle, WA, Estados Unidos de America
paperback. Condición: Good. Nº de ref. del artículo: mon0000152554
Cantidad disponible: 1 disponibles
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Paperback. Condición: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0691029067I5N00
Cantidad disponible: 1 disponibles
Librería: Goodwill of Central and Coastal Virginia, Richmond, VA, Estados Unidos de America
Condición: acceptable. Nº de ref. del artículo: CCVV.0691029067.A
Cantidad disponible: 1 disponibles
Librería: Tin Can Mailman, Arcata, Arcata, CA, Estados Unidos de America
paperback. Condición: Good. Good-plus condition. Minor shelf and perusal wear; slight scuffing to bottom of text block. Spine is sun-faded. Pages are well bound. Gift inscription on front endpaper; otherwise, text appears clean and unmarked. Nº de ref. del artículo: SKU1016749
Cantidad disponible: 1 disponibles
Librería: Shiny Owl Books, Gloucester, NSW, Australia
Softcover. Condición: Fine. Estado de la sobrecubierta: No Dust Jacket. Revised and Updated Edition. Size: Medium (20 to 26cm). Item Type: Book. Text body is clean and unmarked. Binding tight, spine fine. ISBN: 0691029067. ISBN/EAN: 9780691029061. *** WE ONLY POST TO AUSTRALIA NZ CANADA USA JAPAN SINGAPORE SWITZERLAND & UK VIA THIS SERVICE*** . Nº de ref. del artículo: 57427
Cantidad disponible: 1 disponibles
Librería: -OnTimeBooks-, Phoenix, AZ, Estados Unidos de America
Condición: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail. Nº de ref. del artículo: OTV.0691029067.VG
Cantidad disponible: 1 disponibles
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
paperback. Condición: New. In shrink wrap. Looks like an interesting title! Nº de ref. del artículo: Q-0691029067
Cantidad disponible: 1 disponibles
Librería: Deadstock Gear, Fort Oglethorpe, GA, Estados Unidos de America
paperback. Condición: Very Good. Item may have minor cosmetic defects (such as marks, wears, cuts, bends, or crushes) on the cover, spine, pages, or dust cover. Shrink wrap, dust covers, or boxed set case may be missing. Item may contain remainder marks on outside edges. Item may be missing bundled media. Satisfaction guaranteed. Thank you! Nº de ref. del artículo: 08-26-2026-Bulk-Shelf 47/G039
Cantidad disponible: 1 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 401652
Cantidad disponible: 1 disponibles
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condición: New. 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's contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic. Series: Annals of Mathematics Studies. Num Pages: 392 pages, black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152 x 25. Weight in Grams: 542. . 1996. Paperback. . . . . Nº de ref. del artículo: V9780691029061
Cantidad disponible: 1 disponibles