Sets, Models and Proofs

Sets, Models and Proofs

An publicare
2018
Nr. Pagini
141
ISBN
9783319924137
Categorii

Descriere

This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory.

Pe aceeași temă