English
German
French
Russian
Close
Language
Help
Books
Magazines
Search » Bilaniuk S
Search
in
materials
tags
language
All
German
English
French
Russian
Try search in tags
Search results for «Bilaniuk S»
Found materials: 2
Books
: A Problem Course in Mathematical Logic (vol. 1)
Bilaniuk S.
, 1999
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
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 …
Navigation:
Tags
algebra
algorithms
applications
buddhism
business
christie
computer
detective
economics
finance
geometry
graphics
history
java
magazines
management
mathematics
mechanics
network
physics
politics
programming
religion
science
scientific
sociology
software development
technical books
web construction
world bank
Try search in tags
© 2007–2020
Dleex
.
English
German
French
Russian
For any question please write to our email