A Problem Course in Mathematical Logic (vol. 2)

A Problem Course in Mathematical Logic (vol. 2) This is the Volume II of a text for a problem-orientedundergraduate course in mathematical logic. It covers the basicsof computability, using Turing machines and recursive functions,and G¨odel's Incompleteness Theorem, and could be used for a onesemestercourse on these topics. Volume I, Propositional and First-Order Logic, covers the basics of these topics through the Soundness,Completeness, and Compactness Theorems.Information on availability and the conditions under which thisbook may be used and reproduced are given in the preface.

Authors: Bilaniuk S.Pages: 91     Year: 1997

Tags: problem course mathematical
   

Customers who bought this item also bought:



Dleex

© 2007–2019 Dleex.

English      German      French      Russian

For any question please write to our email e-mail