Home » Authors » Vilnis Detlovs, Karlis Podnieks

Vilnis Detlovs, Karlis Podnieks

Public reference bibliography and cataloged PDF materials authored or published by Vilnis Detlovs, Karlis Podnieks.

Found 1 document(s) Page 1 of 1

Introduction to Mathematical Logic

Year: 2021 • Source: freecomputerbooks.com • Listed PDF

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 t...