Conclusion, and Comments The book can be a good text book at undergraduate level, and graduate level. It has a large number of exercises at the end of sections, and many subsections. This makes the textbook useful for the students. Each chapter has a section in the end, containing bibliographic notes. Students wanting to read more on the topics can use the 3 pages of bibliography supplied in the book. The author M. Huth is Senior lecturer at Imperial college London. His experience is re ected in the writing style. To understand the book, preliminary knowledge of computer internals, algorithms, and number theory is required. The number theoretic results, required to understand the theories, are presented in the book. The book is well written to be suitable for self study. The researchers, and professionals in the area of security, may nd the book useful as a reference. Review of9 Alfred Tarski: Life and Logic Author of Book: Anita Burdman Feferman and Solomon Feferman Cambridge University Press (2004) (v+425pp). Reviewed by Pierre Lescanne Ones rst contact with this volume, even before opening it, is the beautiful cover portrait of the young Tarski due to the half mad painter Stanislaw
End of preview. The entire article is 2 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/review-of-alfred-tarski-life-and-logic-by-anita-burdman-feferman-and-mm8Bom5b27
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Review of Alfred Tarski: Life and Logic by Anita Burdman Feferman and Solomon Feferman, Cambridge University Press 2004
Lescanne, Pierre
Follow ACM SIGACT News
, Volume 37 (1)
Association for Computing Machinery – Mar 1, 2006
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
