A decision method for elemantary algebra and goemetry

Saved in:
Bibliographic Details
Main Author: Tarski, Alfred
Format: Book
Language:English
Published: Berkeley : University of California Press, 1951
Edition:2d ed., rev
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!