[Springer] Vince – Foundation Mathematics for Computer Science A Visual Approach
General:
Name: [Springer] Vince – Foundation Mathematics for Computer Science A Visual Approach
Format: pdf
Size: 9.93 MB
Book:
Title: Undecidable Theories. Studies in Logic and the Foundation of Mathematics
Author: Andrzej S. Mostowski, Alfred Tarski
Language: angielski
Year: 2010
Subjects: N/A
Publisher: Wydawnictwo: Dover Publications
ISBN: 9780486477039
Total pages: 341
Description:
This book is well known for its proof that many mathematical systems – including lattice theory and closure algebras – are undecidable. It consists of three treatises from one of the greatest logicians of all time: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups."
Download from RapidGator
https://rapidgator.net/file/f74163a6cd75adfcd109346dbaef9c1d/ya9vfh9n8ta7l8v709iy78.pdf