63 Livre(s)

 
Télécharger le livre : Reductive Logic and Proof-search
Ajouter à ma liste d'envies
Reductive Logic and Proof-search
David J. Pym , Eike Ritter
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it...

Editeur : Clarendon Press
Parution : 2004-04-29

PDF

125,13 €
Télécharger le livre : Twenty Five Years of Constructive Type Theory
Ajouter à ma liste d'envies
Twenty Five Years of Constructive Type Theory
Giovanni Sambin , Jan M. Smith
Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing...

Editeur : Clarendon Press
Parution : 1998-10-15

ePub

77,75 €
Télécharger le livre : Twenty Five Years of Constructive Type Theory
Ajouter à ma liste d'envies
Twenty Five Years of Constructive Type Theory
Giovanni Sambin , Jan M. Smith
Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing...

Editeur : Clarendon Press
Parution : 1998-10-15

PDF

77,75 €
<< < 234