Introduction to Mathematical Logic - Brossura

Libro 5 di 29: Princeton Mathematical

Church, Alonzo

 
9780691029061: Introduction to Mathematical Logic

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.