跳至内容
Mathematical logic and its applications 線上預覽
關閉線上預覽
正在查...

Mathematical logic and its applications

作者: Dimitur Genchev Skordev; Kurt Gödel
出版商: New York : Plenum Press, ©1987.
版本/格式:   Print book : 會議刊物 : 英語所有版本和格式的總覽
資料庫:WorldCat
評定級別:

(尚未評分) 0 附有評論 - 成爲第一個。

主題
更多類似這樣的

 

在圖書館查詢

&AllPage.SpinnerRetrieving; 正在查詢有此資料的圖書館...

詳細書目

類型/形式: Conference proceedings
Congresses
Congrès
其他的實體格式: Online version:
Advanced International Summer School and Conference on Mathematical Logic and Its Applications (1986 : Druzhba, Varna, Bulgaria).
Mathematical logic and its applications.
New York : Plenum Press, ©1987
(OCoLC)625795527
提及的人: Kurt Gödel; Kurt Gödel; Kurt Gödel
資料類型: 會議刊物
文件類型: 圖書
所有的作者/貢獻者: Dimitur Genchev Skordev; Kurt Gödel
ISBN: 0306425998 9780306425998
OCLC系統控制編碼: 16227155
注意: "Proceedings of an Advanced International Summer School and Conference on Mathematical Logic and Its Applications, in honor of the 80th anniversary of Kurt Gödel's birth, held September 24-October 4, 1986, in Druzhba, Bulgaria"--Title page verso.
描述: xiv, 371 pages : illustrations, portrait ; 26 cm
内容: Godel Session (Invited Papers).- Remarks Concerning Kurt Godel's Life and Work.- Facets of Incompleteness.- Goder s Life and Work.- Summer School (Invited Papers).- Categorial Grammar Lambda Calculus.- A Constructive Morse Theory of Sets.- Differentiation of Constructive Functions of a Real Variable and Relative Computability.- A Completeness Theorem for Higher-Order Intuitionistic Logic: An Intuitionistic Proof.- Reasoning in Trees.- Non-Deterministic Program Schemata and their Relation to Dynamic Logic.- The Parallel Evaluation of Functional Programs.- Logic Approximating Sequences of Sets.- Intuitionistic Formal Spaces - A First Communication.- On the Logic of Small Changes in Theories, II.- On 'Logical Relations' in Program Semantics.- Conference (Contributed Papers).- Search Computabi1ity and Computabi1ity with Numberings Are Equivalent the Case of Finite Set of Objects.- Cut-Elimination Theorem for Higher-Order Classical Logic. An Intuitionistic Proof.- Modal Environment for Boolean Speculations.- Distributive Spaces.- Approximating the Projective Model.- Projection Complete Graph Problems Corresponding to a Branching-Program-Based Characterization of the Complexity Classes HC2, L and NL.- Constructive Theories with Abstract Data Types for Program Synthesis.- A First-Order Logic for Logic Programming.- The Relational Semantics for Branched Quantifiers.- Propositional Dynamic Logic in Two- and More Dimensions.- On a Non-Constructive Type Theory and Program Derivation.- Prime Computabi1ity on Partial Structures.- Complexity Bounded Martin-Lof Tests.- Participants and Contributors.
責任: edited by Dimiter G. Skordev.
更多資訊:

評論

讀者提供的評論
正在擷取GoodReads評論...
正在擷取DOGObooks的評論

標籤

成爲第一個
確認申請

你可能已經申請過這份資料。若還是想申請,請選確認。

連結資料


<http://www.worldcat.org/oclc/16227155>
library:oclcnum"16227155"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:valueUnknown value: cnp
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:copyrightYear"1987"
schema:creator
schema:datePublished"1987"
schema:exampleOfWork<http://worldcat.org/entity/work/id/352444547>
schema:genre"Conference proceedings"@en
schema:inLanguage"en"
schema:name"Mathematical logic and its applications"@en
schema:publication
schema:publisher
schema:workExample
umbel:isLike<http://bnb.data.bl.uk/id/resource/GB8849342>
wdrs:describedby

Content-negotiable representations

關閉視窗

請登入WorldCat 

没有帳號嗎?你可很容易的 建立免費的帳號.