A framework for priority arguments

A framework for priority arguments

Manuel Lerman

Cambridge : Cambridge University Press, 2010

図書等

巻号情報

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

1

410.96-L56

10010021173

一般図書

詳細情報

刊年

2010

形態

xvi, 176 p. ; 24 cm

シリーズ名

Lecture notes in logic ; 34

注記

Includes bibliographical references and index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Lerman, Manuel

分類

DC22:511.352

件名

Computable functions

Logic, Symbolic and mathematical

ISBN

9780521119696

NCID

BB01876876