Proceedings of the Summer School in Logik, Leeds, 1967 : N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic / by Martin H. Löb
| データ種別 | 電子書籍 |
|---|---|
| 版 | 1st ed. 1968. |
| 出版者 | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
| 出版年 | 1968 |
書誌詳細を非表示
| 書誌ID | OB01020180 |
|---|---|
| 本文言語 | 英語 |
| 一般注記 | Lectures on proof theory -- Partitions and models -- Klassen rekursiver funktionen -- Hyperarithmetic ultrafilters -- Recursive equivalence: A survey -- Half-ring morphologies -- Formalisations of some ?0 ?ukasiewicz propositional calculi -- Theories which are not ?o-categorical -- The monadic fragment of predicate calculus with the Chang quantifier and equality -- The ? 1 1 -comprehension schema and ?-rules. License restrictions may limit access |
| 著者標目 | *Löb, Martin H SpringerLink (Online service) |
| 統一書名標目 | Lecture Notes in Mathematics, |
| 件 名 | LCSH:Mathematical logic FREE:Mathematical Logic and Foundations |
| 分 類 | LCC:QA8.9-10.3 DC23:511.3 |
| 巻冊次 | ISBN:9783540358862 RefWorks出力（各巻） print ; ISBN:9783662194294 RefWorks出力（各巻） print ; ISBN:9783540042402 RefWorks出力（各巻） |
| 資料種別 | 機械可読データファイル |
目次・あらすじ