Metamathematics of First-Order Arithmetic

Título:
Metamathematics of First-Order Arithmetic
Autor:
Hájek; Pudlák
Materia:
Computer Science; Mathematics; Historical Archaeology; Regional and World History: General Interest
Editor:
Cambridge University Press
Descripción:
Books for Research
Identificadores:
E-ISBN: 9781316717271; 9781107168411 ISBN:
Colección:
Cambridge University Press