Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry)
Contributors: Helmut Schwichtenberg (Editor); Ralf Steinbrüggen (Editor)
Edition: 1 edition
Publisher: Springer
Published: May 31, 2002
Language: eng
Format: Hardcover
Number of pages: 428
ISBN-13: 9781402006074
Subjects: Mathematical logic; Science/Mathematics; Logic; Philosophy Of Mathematics; Theory Of Computing; Mathematics; Computers - General Information; Reliability; Proof theory; Computer Science; General; Mathematics / Logic; Computer systems; Congresses
First sentence: Perhaps the most important and striking fact of domain theory is that important categories of domains are cartesian closed.