Ingen varer
Kassen / rediger kurv
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions.