Metamathematics of First-Order Arithmetic Dublin Core Títol Metamathematics of First-Order Arithmetic Autor Hájek/Pudlák Matèria Computer Science Mathematics Mathematics and Statistics Editor Cambridge University Press Data de publicació 2017 Identificador 9781316717271 Font https://doi.org/10.1017/9781316717271 Etiquetes Computer Science, Mathematics, Mathematics and Statistics Col·lecció Mathematics and Statistics ← ítem anterior Ítem següent →
