Search » Bilaniuk S

Search     in     language   Try search in tags

Search results for «Bilaniuk S»

Found materials: 2

Books: A Problem Course in Mathematical Logic (vol. 1)
Bilaniuk S., 1999

A Problem Course in Mathematical Logic (vol. 1)


This is a text for a problem-oriented undergraduatecourse in mathematical logic. It covers the basics of propositionaland rst-order logic through the Soundness, Completeness, andCompactness Theorems. …

Books: A Problem Course in Mathematical Logic (vol. 2)
Bilaniuk S., 1997

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 …


Dleex

© 2007–2019 Dleex.

English      German      French      Russian

For any question please write to our email e-mail