Loading...

Completeness,compactness and undecidability /

Bibliographic Details
Main Author: Manaster,A.B
Format: Printed Book
Language:English
Published: New Jersey Prentice -Hall 1975
Series:Introduction to mathematical logic

MAT

Holdings details from MAT
Call Number: 510.633 MAN
Copy Live Status Unavailable