Practical Foundations of Mathematics - Paul Taylor, Taylor Paul - Google Books

http://books.google.de/books?id=iSCqyNgzamcC

Practical Foundations of Mathematics explains the basis of mathematical reasoning both in pure mathematics itself (algebra and topology in particular) and in computer science. In addition to the formal logic, this volume examines the relationship between…

http://www.ti.inf.uni-due.de/publications/author-koenig.shtml

Keine Beschreibung vorhanden.