Reductive logic and proof-search : proof theory, semantics, and control, : hbk

Reductive logic and proof-search : proof theory, semantics, and control, : hbk

David J. Pym and Eike Ritter

Oxford : Clarendon Press

New York : Oxford University Press, 2004

図書等

巻号情報

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

1

410.1-P99

10005023613

一般図書

詳細情報

刊年

2004

形態

xv, 208 p. : ill. ; 24 cm

シリーズ名

Oxford logic guides ; 45

注記

Includes bibliographical references (p. [197]-204) and index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Pym, David J.

Ritter, Eike

ISBN

0198526334 (: hbk)

NCID

BA68255980

番号

LCCN : 2004049208