このページのリンク

<電子ブック>
Bounded variable logics and counting : a study in finite models

出版者 : Springer
出版年 1997
著者標目 Otto, Martin
件 名 HILCC:Mathematical Theory
目次/あらすじ

所蔵情報を非表示

電子ブック オンライン 電子ブック


Project Euclid Open Access 9783540620372
電子リソース
SEB0335204

書誌詳細を非表示

データ種別 電子ブック
書誌ID 4000352222
ISBN 9783540620372

 類似資料