A Formalization of Set Theory without Variables, Vol. 41
Full Title: | A Formalization of Set Theory without Variables, Vol. 41 |
---|---|
ISBN: | 0821810413 |
ISBN13: | 9780821810415 |
List Price: | USD $47.61 |
Authors: |
Alfred Tarski Steven Givant |