熱門搜尋
您輸入的關鍵字: Mundici
搜尋結果共 11 筆, 頁數 1 / 1
呈現:
This short book, geared towards undergraduate students of computer science and mathematics, is speci... more
Preface.- Chapter 1. Prologue: de Finetti coherence criterion and Lukasiewicz logic.- Chapter 2. Rat... more
The aim of this book is to give self-contained proofs of all basic results concerning the infinite-v... more
This book constitutes the refereed proceedings of the 5th Kurt G del Colloquium on Computational Log... more
The Third Kurt Gdel Symposium, KGC’93, held in Brno, Czech Republic, August1993, is the third in a s... more