Screen LibraryLogic, construction, computation /
Saved in:
| Group Author: | ; |
|---|---|
| Published: |
Ontos Verlag,
|
| Publisher Address: |
Frankfurt : Piscataway, NJ : |
| Publication Dates: | 2012. |
| Literature type: | Book |
| Language: | English |
| Series: |
Ontos mathematical logic ;
v. 3 |
| Subjects: | |
| Item Description: | " ... the logician and mathematican Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday"--Page 4 of cover. |
| Carrier Form: | 540 pages ; 22 cm. |
| Bibliography: | Includes bibliographical references. |
| ISBN: |
9783868381580 : 3868381589 3110324539 9783110324532 |
| Index Number: | QA9 |
| CLC: | O14 |
| Call Number: | O14/L832-1 |
| Contents: | A new use of Friedman's translation : interactive realizability / Federico Aschieri and Stefano Berardi -- Polymorphic logic / Mark Bickford and Robert Constable -- Constructive solutions of ordinary differential equations / Douglas S. Bridges -- A nonstandard hierarchy comparison theorem / Wilfried Buchholz and Andreas Weiermann -- Transitive closure in operational set theory / Andrea Cantini and Laura Crosilla -- Baire space in CZF / Giovanni Curi and Michael Rathjen -- Functional interpretations of classical and constructive set theory / Justus Diller -- Weak theories of truth and explici |