A decision method for elemantary algebra and goemetry
Saved in:
| 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!
|
Similar Items
-
The undecidable :
Published: (1965) -
Godel's incompleteness theorems
by: Smullyan, Raymond M.
Published: (1992) -
Το θεώρημα Godel
by: Nagel, Ernest 1901-1985, et al.
Published: (1991) -
Godel's proof
by: Nagel, Ernest 1901-1985, et al.
Published: (1958) -
Για το θεώρημα μη πληρότητας του Godel
by: Uspenskii, V. A. (Vladimir Andreevich)
Published: (1998)