A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers /

Bibliographic Details
Main Author: Bouvere, Karel Louis de (Author, Autor/a)
Format: Book
Language:English
Published: Amsterdam : North-Holland Pub. Co., 1959.
Subjects:

Sistema de Bibliotecas de Universidad de Costa Rica

Holdings details from Sistema de Bibliotecas de Universidad de Costa Rica
Call Number: 511.3
Copy Available