Què són els llibres de prova
Col·leccions
Cerca
Suggeriment de compra
Cerca
Salta al contingut principal
Ebs
Què són els llibres de prova
Col·leccions
Cerca
Suggeriment de compra
Mathematical Logic and Computation
Autor
Avigad
Matèria
Computer Science
Mathematics
Logic
Categories and Sets
Programming Languages and Applied Logic
Editor
Cambridge University Press
Data publicació
2022
Identificador
9781108778756
Col·lecció
Computer Science and Information Technology
Mathematics and Statistics
Accés
https://doi.org/10.1017/9781108778756