passa ai contenuti
Mathematical logic and its applications Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Mathematical logic and its applications

Autore: Dimitur Genchev Skordev; Kurt Gödel
Editore: New York : Plenum Press, ©1987.
Edizione/Formato:   book_printbook : Conference publication : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Genere/forma: Conference papers and proceedings
Congrès
Informazioni aggiuntive sul formato: 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
Persona incaricata: Kurt Gödel; Kurt Gödel; Kurt Gödel
Tipo materiale: Conference publication
Tipo documento: Book
Tutti gli autori / Collaboratori: Dimitur Genchev Skordev; Kurt Gödel
ISBN: 0306425998 9780306425998
Numero OCLC: 16227155
Note: "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"--T.p. verso.
Descrizione: xiv, 371 p. : ill., port. ; 26 cm.
Contenuti: 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.
Responsabilità: edited by Dimiter G. Skordev.
Maggiori informazioni:

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


Primary Entity

<http://www.worldcat.org/oclc/16227155> # Mathematical logic and its applications
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "16227155" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://viaf.org/viaf/97851774> ; # Kurt Gödel
   schema:about <http://experiment.worldcat.org/entity/work/data/352444547#Person/godel_kurt> ; # Kurt Gödel
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/352444547#Topic/logic_symbolic_and_mathematical_congresses> ; # Logic, Symbolic and mathematical--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/352444547#Thing/mathematical_logic> ; # Mathematical logic
   schema:about <http://experiment.worldcat.org/entity/work/data/352444547#Topic/logica_matematica> ; # Logica matematica
   schema:about <http://experiment.worldcat.org/entity/work/data/352444547#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://dewey.info/class/511.3/e19/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/97851774> ; # Kurt Gödel
   schema:contributor <http://experiment.worldcat.org/entity/work/data/352444547#Person/skordev_dimitur_genchev> ; # Dimitur Genchev Skordev
   schema:copyrightYear "1987" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/352444547#Meeting/advanced_international_summer_school_and_conference_on_mathematical_logic_and_its_applications_1986_druzhba_varna_bulgaria> ; # Advanced International Summer School and Conference on Mathematical Logic and Its Applications (1986 : Druzhba, Varna, Bulgaria)
   schema:datePublished "1987" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/352444547> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/625795527> ;
   schema:name "Mathematical logic and its applications"@en ;
   schema:numberOfPages "371" ;
   schema:productID "16227155" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/16227155#PublicationEvent/new_york_plenum_press_c1987> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/352444547#Agent/plenum_press> ; # Plenum Press
   schema:workExample <http://worldcat.org/isbn/9780306425998> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8849342> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/16227155> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/352444547#Meeting/advanced_international_summer_school_and_conference_on_mathematical_logic_and_its_applications_1986_druzhba_varna_bulgaria> # Advanced International Summer School and Conference on Mathematical Logic and Its Applications (1986 : Druzhba, Varna, Bulgaria)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/352444547#Place/druzhba_varna_bulgaria> ; # Druzhba, Varna, Bulgaria)
   schema:name "Advanced International Summer School and Conference on Mathematical Logic and Its Applications (1986 : Druzhba, Varna, Bulgaria)" ;
    .

<http://experiment.worldcat.org/entity/work/data/352444547#Person/godel_kurt> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .

<http://experiment.worldcat.org/entity/work/data/352444547#Person/skordev_dimitur_genchev> # Dimitur Genchev Skordev
    a schema:Person ;
   schema:familyName "Skordev" ;
   schema:givenName "Dimitur Genchev" ;
   schema:name "Dimitur Genchev Skordev" ;
    .

<http://experiment.worldcat.org/entity/work/data/352444547#Place/druzhba_varna_bulgaria> # Druzhba, Varna, Bulgaria)
    a schema:Place ;
   schema:name "Druzhba, Varna, Bulgaria)" ;
    .

<http://experiment.worldcat.org/entity/work/data/352444547#Thing/mathematical_logic> # Mathematical logic
    a schema:Thing ;
   schema:name "Mathematical logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/352444547#Topic/logic_symbolic_and_mathematical_congresses> # Logic, Symbolic and mathematical--Congresses
    a schema:Intangible ;
   schema:hasPart <http://id.loc.gov/authorities/subjects/sh85078115> ;
   schema:name "Logic, Symbolic and mathematical--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/352444547#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@en ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/97851774> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .

<http://worldcat.org/isbn/9780306425998>
    a schema:ProductModel ;
   schema:isbn "0306425998" ;
   schema:isbn "9780306425998" ;
    .

<http://www.worldcat.org/oclc/625795527>
    a schema:CreativeWork ;
   rdfs:label "Mathematical logic and its applications." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/16227155> ; # Mathematical logic and its applications
    .


Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.