The Calculi of Lambda-conversion
The Calculi of Lambda-conversion

Author: Alonzo Church

Publisher: Princeton University Press

Published: 1985-01-21

Total Pages: 112

ISBN-13: 9780691083940

DOWNLOAD EBOOK

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

From Symbolic Logic-- to Mathematical Logic
From Symbolic Logic-- to Mathematical Logic

Author: Charles L. Silver

Publisher: WCB/McGraw-Hill

Published: 1994

Total Pages: 408

ISBN-13:

DOWNLOAD EBOOK

This text aims to unify mathematical logic and symbolic logic, and outlines how mathematical logic emerged from symbolic logic. Derivations are extended to encompass mathematical principles. Godel's theorems are covered, including philosophical and historical issues.

An Introduction to Symbolic Logic
An Introduction to Symbolic Logic

Author: Langer

Publisher: Courier Corporation

Published: 1967-01-01

Total Pages: 388

ISBN-13: 9780486601649

DOWNLOAD EBOOK

Famous classic has introduced countless readers to symbolic logic with its thorough and precise exposition. Starts with simple symbols and conventions and concludes with the Boole-Schroeder and Russell-Whitehead systems. No special knowledge of mathematics necessary. "One of the clearest and simplest introductions to a subject which is very much alive." — Mathematics Gazette.

Programming Language Fundamentals by Example
Programming Language Fundamentals by Example

Author: D.E. Stevenson

Publisher: CRC Press

Published: 2006-11-10

Total Pages: 189

ISBN-13: 1000654648

DOWNLOAD EBOOK

Written in an informal yet informative style, Programming Language Fundamentals by Example uses active learning techniques, giving students a professional learning experience based on professional methods applied with professional standards. It provides an understanding of the many languages and notations used in computer science, the formal models