An introduction to mathematical logic and type theory : to truth through proof

An introduction to mathematical logic and type theory : to truth through proof

Peter B. Andrews

2nd ed

Dordrecht ; Tokyo : Kluwer Academic, c2002

図書等

巻号情報

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

1

410.96-A48

10003302047

一般図書

詳細情報

刊年

2002

形態

xviii, 390 p. ; 25 cm

シリーズ名

Applied logic series ; v. 27

注記

Includes bibliographical references (p. 371-380) and index

出版国

オランダ

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Andrews, P. B. (Peter Bruce), 1937- [ Andrews, Peter B. ]

ISBN

1402007639

NCID

BA58934443