Salta al contingut principal

Metamathematics of First-Order Arithmetic

Metamathematics of First-Order Arithmetic

Autor: Hájek/Pudlák
Matèria: Computer Science; Mathematics; Logic; Categories and Sets; Programming Languages and Applied Logic
Editor: Cambridge University Press
Data publicació: 2017
Identificador: 9781316717271
Col·lecció: Computer Science and Information Technology
Accés