Processing ......

FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World
|
Want to know the Wikipedia page of a particular airport? Click here to find out.
- Title Introduction to Mathematical Logic
- Author(s) Vilnis Detlovs, Karlis Podnieks
- Publisher: University of Latvia (2021)
- License(s): CC BY-NC-SA 1.0
- Paperback N/A
- eBook PDF (260 pages, 1.217 MB)
- Language: English
- ISBN-10: N/A
- ISBN-13: N/A
- Share This:
![]() |
Book Description
Similar Books:
This book explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Church, Kleene, Rosser, and Turing.
From the table of contents: References; 1. Introduction. What Is Logic, Really?; 2. Propositional Logic; 3. Predicate Logic; 4. Completeness Theorems (Model Theory); 5. Normal Forms. Resolution Method; 6. Miscellaneous (Negation as Contradiction or Absurdity).
About the Authors- Karlis Podnieks is a Professor and Faculty of Computing at University of Latvia.
- Mathematical Logic - Set Theory, Model Theory, Computability, etc
- Theory of Computation and Computing
- Artificial Intelligence, Machine Learning, and Logic Programming
- Discrete Mathematics

:
|
|
![]() |
|
![]() |
|
![]() |
|
![]() |
|
![]() |
|
![]() |
|
![]() |
|
![]() |
|
![]() |
|
![]() |
|
![]() |
|
![]() |
|
![]() |
|
![]() |
|
![]() |
|
![]() |