Dybjer, Peter
人物別名
Peter Dybjer
生年
-
没年
-
タイトル
著作者等
出版元
刊行年月
Epistemology versus ontology : essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf
Peter Dybjer ... [et al.], editors
Springer
c2012
Semantics and logics of computation
edited by Andrew M. Pitts, Peter Dybjer
Cambridge University Press
2009
Semantics and logics of computation
edited by Andrew M. Pitts, Peter Dybjer
Cambridge University Press
1997
Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers
Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
Springer-Verlag
c1995
この人物を:
書棚を選択して下さい
mixiチェック
ツイート
NACSIS-CAT著者名典拠
日本の古本屋(全国古書検索)
想-IMAGINE Book Search(関連情報検索)
情報を取得できませんでした。
件が連想されています
情報を取得できませんでした。
ページトップへ
トップページ
Webcat Plusとは?
FAQ