Undecidable theories

Bibliographic Details
Main Author:	Tarski, Alfred
Format:	Book
Language:	English
Published:	Amsterdam North-Holland Publishing Company 1953
Edition:	1st edition 1953
Series:	Studies in logic and the foundations of mathematics nStudies in logic and the foundations of mathematics