Some proofs of undecidability of first order theories

Bibliographic Details
Main Author:	Solis, Adriano O. 1954-
Format:	Book
Language:	English
Subjects:	Godel's theorem. Groups, Theory of.

TUKLAS: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman