Ingen varer
Kassen / rediger kurv
This book presents mathematical logic from the syntactic point of view, with an emphasis on aspects that are fundamental to computer science. It is an excellent... Læs mere