omitir hasta el contenido
Mathematical logic and its applications Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

Mathematical logic and its applications

Autor: Dimitur Genchev Skordev; Kurt Gödel
Editorial: New York : Plenum Press, ©1987.
Edición/Formato:   Libro impreso : Publicación de conferencia : Inglés (eng)Ver todas las ediciones y todos los formatos
Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

 

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

Género/Forma: Conference papers and proceedings
Congresses
Congrès
Formato físico adicional: 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 designada: Kurt Gödel; Kurt Gödel; Kurt Gödel
Tipo de material: Publicación de conferencia
Tipo de documento Libro
Todos autores / colaboradores: Dimitur Genchev Skordev; Kurt Gödel
ISBN: 0306425998 9780306425998
Número OCLC: 16227155
Notas: "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.
Descripción: xiv, 371 pages : illustrations, portrait ; 26 cm
Contenido: 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.
Responsabilidad: edited by Dimiter G. Skordev.
Más información:

Reseñas

Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Ser el primero.
Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


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#Thing/mathematical_logic> ; # Mathematical logic
    schema:about <http://id.loc.gov/authorities/subjects/sh85078115> ; # Logic, Symbolic and mathematical
    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:productID "16227155" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/16227155#PublicationEvent/new_york_plenum_press_1987> ;
    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#Agent/plenum_press> # Plenum Press
    a bgn:Agent ;
    schema:name "Plenum Press" ;
    .

<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/logica_matematica> # Logica matematica
    a schema:Intangible ;
    schema:name "Logica matematica"@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.loc.gov/authorities/subjects/sh85078115> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<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

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.