doorgaan naar inhoud
Mathematical logic and its applications Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Mathematical logic and its applications

Auteur: Dimitur Genchev Skordev; Kurt Gödel
Uitgever: New York : Plenum Press, ©1987.
Editie/Formaat:   Print book : Conferentie-uitgave : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Genre/Vorm: Conference proceedings
Congresses
Congrès
Aanvullende fysieke materiaalsoort: 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
Genoemd persoon: Kurt Gödel; Kurt Gödel; Kurt Gödel
Genre: Conferentie-uitgave
Soort document: Boek
Alle auteurs / medewerkers: Dimitur Genchev Skordev; Kurt Gödel
ISBN: 0306425998 9780306425998
OCLC-nummer: 16227155
Opmerkingen: "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.
Beschrijving: xiv, 371 pages : illustrations, portrait ; 26 cm
Inhoud: 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.
Verantwoordelijkheid: edited by Dimiter G. Skordev.
Meer informatie:

Beoordelingen

Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


<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

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.