コンテンツへ移動
Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic ; (met een samenvatting in het Nederlands) 資料のプレビュー
閉じる資料のプレビュー
確認中…

Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic ; (met een samenvatting in het Nederlands)

著者: Dus̆ko Pavlović
出版: 1990.
エディション/フォーマット:   book_printbook : Englishすべてのエディションとフォーマットを見る
データベース:WorldCat
評価:

(まだ評価がありません) 0 件のレビュー - 是非あなたから!

件名:
関連情報:

 

オフラインで入手

&AllPage.SpinnerRetrieving; この資料の所蔵館を検索中…

詳細

ドキュメントの種類: 図書
すべての著者/寄与者: Dus̆ko Pavlović
OCLC No.: 633751566
注記: Utrecht, Rijksuniv., Diss.
物理形態: IX, 237, x S. : graph. Darst.
責任者: door Duško Pavlović.

レビュー

ユーザーレビュー
GoodReadsのレビューを取得中…
DOGObooksのレビューを取得中…

タグ

すべてのユーザーのタグ (2)

人気のタグを表示: タグリスト | タグクラウド

類似資料

関連件名:(3)

この資料を含むリスト (1)

リクエストの確認

あなたは既にこの資料をリクエストしている可能性があります。このリクエストを続行してよろしければ、OK を選択してください。

リンクデータ


Primary Entity

<http://www.worldcat.org/oclc/633751566> # Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic ; (met een samenvatting in het Nederlands)
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "633751566" ;
   schema:about <http://experiment.worldcat.org/entity/work/data/149644864#Topic/pradikatenkalkul> ; # Prädikatenkalkül
   schema:about <http://experiment.worldcat.org/entity/work/data/149644864#Topic/konstruktive_logik> ; # Konstruktive Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/149644864#Topic/faserung_mathematik> ; # Faserung (Mathematik)
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/149644864#Person/pavlovic_dusko> ; # Dus̆ko Pavlović
   schema:datePublished "1990" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/149644864> ;
   schema:inLanguage "en" ;
   schema:name "Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic ; (met een samenvatting in het Nederlands)" ;
   schema:productID "633751566" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/633751566#PublicationEvent/1990> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/633751566> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/149644864#Person/pavlovic_dusko> # Dus̆ko Pavlović
    a schema:Person ;
   schema:familyName "Pavlović" ;
   schema:givenName "Dus̆ko" ;
   schema:name "Dus̆ko Pavlović" ;
    .

<http://experiment.worldcat.org/entity/work/data/149644864#Topic/faserung_mathematik> # Faserung (Mathematik)
    a schema:Intangible ;
   schema:name "Faserung (Mathematik)" ;
    .

<http://experiment.worldcat.org/entity/work/data/149644864#Topic/pradikatenkalkul> # Prädikatenkalkül
    a schema:Intangible ;
   schema:name "Prädikatenkalkül" ;
    .

<http://www.worldcat.org/title/-/oclc/633751566>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/633751566> ; # Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic ; (met een samenvatting in het Nederlands)
   schema:dateModified "2016-05-12" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

ウインドウを閉じる

WorldCatにログインしてください 

アカウントをお持ちではないですか?簡単に 無料アカウントを作成することができます。.