Proof and disproof in formal logic : an introduction for programmers, : hbk

Proof and disproof in formal logic : an introduction for programmers, : hbk

Richard Bornat

Oxford ; New York : Oxford University Press, 2005

図書等

巻号情報

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

1

116-B65

10005011705

一般図書

詳細情報

刊年

2005

形態

xix, 243 p. ; ill. ; 24 cm

シリーズ名

Oxford texts in logic ; 2

注記

Includes index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Bornat, Richard, 1944-

分類

LCC:BC173

DC22:160

件名

Evidence

Logic, Modern

ISBN

0198530269/9780198530268 (: hbk)

NCID

BA73268664

番号

LCCN : 2005019564