A Problem Course in Mathematical Logic
Overview & Synopsis
A Problem Course in Mathematical Logic is intended to serve as the text for an introduction to mathematical logic for undergraduates with some mathematical sophistication. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is for the students, individually or in groups, to learn the material by solving the problems and proving the results for themselves. The book should do as the text for a course taught using the modified Moore-method.
Indexed from repository: FreeComputerBooks.com
(
freecomputerbooks.com)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | A Problem Course in Mathematical Logic |
|---|---|
| Author / Organization | Stefan Bilaniuk |
| Subject & Discipline | Mathematical Logic - Set Theory, Model Theory, Computability, etc, Theory of Programming Languages, Theory of Computation, Introduction to Computer Science |
| Categories | Mathematical Logic - Set Theory, Model Theory, Computability, etc |
| Publication Year | 2009 |
| ISBN | 1616100060 |
| License / Rights | Freeware |
| Resource Verification | Verification pending |
| Original Host Website |
FreeComputerBooks.com
(freecomputerbooks.com)
|
| File Format | application/pdf (Portable Document Format) |
| Language | ENGLISH |
| Catalog ID | DOC-73320 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |
Commercial / Print Edition
Prefer a Physical Book or Kindle Edition?
A Problem Course in Mathematical Logic • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.