Opening book details…
Can I read A Problem Course In Mathematical Logics on EtoBox?
A Problem Course In Mathematical Logics by Bilaniuk, Stefan is a nonfiction available to read on EtoBox.
What is A Problem Course In Mathematical Logics about?
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 functions, the Incompleteness Theorems, and complexity theory through the P and NP. Information on availabality and the conditions under which this book may be used and reproduced are given in the preface.
Who reads A Problem Course In Mathematical Logics?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Bilaniuk, Stefan
- Publisher
- Springer-Verlag; Springer
- Published
- 1999
- Language
- EN
- ISBN
- 9783540963684
- Category
- nonfiction
- Subjects
- Mathematics, Stem
- Updated
- 2026-03-24
Other editions & translations
- Introduction To Mathematical Logic: Set Theory Computable Functions Model Theory (undergraduate Texts In Mathematics) (1979)
- Introduction to Mathematical Logic: Set Theory - Computable Functions - Model Theory (Undergraduate Texts in Mathematics) (2012)
- Malitz Jerome 1979 Introduction To Mathematical Logic Set Theory Computable Functions Model Theory (1979)
- Malitz Jerome 1979 Introduction To Mathematical Logic Set Theory Computable Functions Model Theory (2012)
- A Problem Course in Mathematical Logic Volume 2 (1997)
More by Bilaniuk, Stefan
Browse all works by Bilaniuk, Stefan
Similar books
- A Problem Course in Mathematical Logic — Bilanuik S.
- A Course on Mathematical Logic (Universitext) — Shashi Mohan Srivastava (2013)
- Models of Computation: An Introduction to Computability Theory (Undergraduate Topics in Computer Science) — Dr Maribel Fernández (auth.) (2009)
- A First Course in Computability — Victor J. Rayward-Smith (1986)
- A First Course in Mathematical Logic and Set Theory — Michael L. O'Leary (2016)
- Sets, Logic, Computation: An Open Logic Text — Richard Zach (2017)