Opening book details…
About this document
Explaining Skolem by Roland Gramatico is a document available to read on EtoBox.
- Author
- Roland Gramatico
- Language
- EN
About this book
1. This document introduces elementary mathematical logic and outlines the course. It will cover sentential logic, first-order languages, and will prove Gödel
Details
Rate this book
Sign in to rate this book
Quick info
- Language
- en
- Availability
- Checking…