Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church.
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...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2016] ©1991 |
Year of Publication: | 2016 |
Language: | English |
Series: | Princeton Mathematical Series ;
13 |
Online Access: | |
Physical Description: | 1 online resource (392 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Mathematical logic / by Willard Van Orman Quine.
by: Quine, W. V.
Published: (c1981.) -
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church.
by: Church, Alonzo,
Published: ([2016]) -
The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / / Emil L. Post.
by: Post, Emil L.,
Published: ([2016]) -
Logic with trees : an introduction to symbolic logic / / Colin Howson.
by: Howson, Colin.
Published: (1997.) -
A first course in mathematical logic and set theory / / Michael L. O'Leary.
by: O'Leary, Michael L.,
Published: (2016.)