Fejer P Mathematical Foundations of Computer Science Vol 1 Sets, Rel , 1991
General:
Name: Fejer P Mathematical Foundations of Computer Science Vol 1 Sets, Rel , 1991
Format: pdf
Size: 194.3 MB
Book:
Title: Mathematical foundations of computer science
Author: Fejer, Peter A
Language: angielski
Year: 2010
Subjects: N/A
Publisher: Wydawnictwo: Dover Publications
ISBN: 9780486477039
Total pages: 443
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/1c55a767e07ae409c6765f0852f5d2a6/b3ad0519ca705lguw41fat.pdf