From sets and types to topology and analysis : towards practicable foundations for constructive mathematics

From sets and types to topology and analysis : towards practicable foundations for constructive mathematics

edited by Laura Crosilla and Peter Schuster

Oxford : Clarendon Press, 2005

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

410.9-C93

10005023616

一般図書

詳細情報

刊年

2005

形態

xix, 350 p. ; ill. ; 24 cm

シリーズ名

Oxford logic guides ; 48

注記

Includes bibliographical references and index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Crosilla, Laura

Schuster, Peter

ISBN

0198566514

NCID

BA7401200X