zum Inhalt wechseln
Mathematical logic and its applications Titelvorschau
SchließenTitelvorschau
Prüfung…

Mathematical logic and its applications

Verfasser/in: Dimitur Genchev Skordev; Kurt Gödel
Verlag: New York : Plenum Press, ©1987.
Ausgabe/Format   Print book : Tagungsband : EnglischAlle Ausgaben und Formate anzeigen
Datenbank:WorldCat
Bewertung:

(noch nicht bewertet) 0 mit Rezensionen - Verfassen Sie als Erste eine Rezension.

Themen
Ähnliche Titel

 

Exemplar ausleihen

&AllPage.SpinnerRetrieving; Suche nach Bibliotheken, die diesen Titel besitzen ...

Details

Gattung/Form: Conference proceedings
Congresses
Congrès
Physisches Format 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
Name: Kurt Gödel; Kurt Gödel; Kurt Gödel
Medientyp: Tagungsband
Dokumenttyp: Buch
Alle Autoren: Dimitur Genchev Skordev; Kurt Gödel
ISBN: 0306425998 9780306425998
OCLC-Nummer: 16227155
Anmerkungen: "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.
Beschreibung: xiv, 371 pages : illustrations, portrait ; 26 cm
Inhalt: 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.
Verfasserangabe: edited by Dimiter G. Skordev.
Weitere Informationen:

Rezensionen

Nutzer-Rezensionen
Suche nach GoodReads-Rezensionen
Suche nach DOGObooks-Rezensionen…

Tags

Tragen Sie als Erste Tags ein.
Anfrage bestätigen

Sie haben diesen Titel bereits angefordert. Wenn Sie trotzdem fortfahren möchten, klicken Sie auf OK.

Verlinkung


<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

Fenster schließen

Bitte in WorldCat einloggen 

Sie haben kein Konto? Sie können sehr einfach ein kostenloses Konto anlegen,.