A Problem Course in Mathematical Logic
โ Stefan Bilaniuk
๐ Library
๐
2003
๐ English
โฆ LIBER โฆ
๐
A Problem Course in Mathematical Logic
โ Scribed by Bilaniuk S.
- Year
- 1997
- Tongue
- English
- Leaves
- 91
- Edition
- version 1.3
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
โฆ Synopsis
This is the Volume II of a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of computability, using Turing machines and recursive functions, and Goedel's Incompleteness Theorem, and could be used for a one semester course 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 this book may be used and reproduced are given in the preface.
๐ SIMILAR VOLUMES
A Problem Course in Mathematical Logic
โ Bilaniuk
๐ Library
๐
2003
๐ Creative Commons, Trent University
๐ English
A Problem Course In Mathematical Logics
๐ Fiction
A Problem Course in Mathematical Logic
โ Bilaniuk S.
๐ Library
๐
1999
๐ English
This is a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of propositionaland first-order logic through the Soundness, Completeness, and Compactness Theorems. Volume II, Computation, covers the basics of computability using Turing machines and recursive f
A Problem Course in Mathematical Logic
โ Bilanuik S.
๐ Library
๐ English
Department of Mathematics Trent University, 1991, -186 pp.<div class="bb-sep"></div>This is a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of propositional and first-order logic through the Soundness, Completeness, and Compactness Theorems. <br/>Volume
A problem course in mathematical logic :
โ Stefan Bilaniuk
๐ Library
๐
1994
๐ Dept. of Mathematics Trent University
๐ English