omitir hasta el contenido
Two applications of logic to mathematics Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

Two applications of logic to mathematics

Autor: G Takeuti
Editorial: Tokyo: Iwanami Shoten Publishers; Princeton - N.J.: Princeton University Press, 1978.
Serie: Kanô memorial lectures, 3.; Publications of the Mathematical Society of Japan, 13.
Edición/Formato:   Print book : Inglés (eng)Ver todas las ediciones y todos los formatos
Base de datos:WorldCat
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

Tipo de documento: Libro/Texto
Todos autores / colaboradores: G Takeuti
Número OCLC: 636091708
Descripción: VIII, 137 p. : fig.
Título de la serie: Kanô memorial lectures, 3.; Publications of the Mathematical Society of Japan, 13.
Responsabilidad: Gaisi Takeuti.

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/636091708> # Two applications of logic to mathematics
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "636091708" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/13335263#Place/tokyo> ; # Tokyo
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ja> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/darstellungen_boolescher_algebren_algebra> ; # DARSTELLUNGEN BOOLESCHER ALGEBREN (ALGEBRA)
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/theorie_multiplicative_des_nombres> ; # THÉORIE MULTIPLICATIVE DES NOMBRES
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Topic/boolesche_algebra> ; # Boolesche Algebra
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/funktionentheorie_analysis> ; # FUNKTIONENTHEORIE (ANALYSIS)
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/representations_of_boolean_algebras_algebra> ; # REPRESENTATIONS OF BOOLEAN ALGEBRAS (ALGEBRA)
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/theorie_des_fonctions_analyse_mathematique> ; # THÉORIE DES FONCTIONS (ANALYSE MATHÉMATIQUE)
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/theory_of_functions_mathematical_analysis> ; # THEORY OF FUNCTIONS (MATHEMATICAL ANALYSIS)
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Topic/analysis> ; # Analysis
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/multiplikative_zahlentheorie> ; # MULTIPLIKATIVE ZAHLENTHEORIE
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/representations_d_algebres_booleennes_algebre> ; # REPRÉSENTATIONS D'ALGÈBRES BOOLÉENNES (ALGÈBRE)
    schema:about <http://experiment.worldcat.org/entity/work/data/13335263#Thing/multiplicative_number_theory> ; # MULTIPLICATIVE NUMBER THEORY
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/64133112> ; # G. Takeuti
    schema:datePublished "1978" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/13335263> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/13335263#Series/publications_of_the_mathematical_society_of_japan> ; # Publications of the Mathematical Society of Japan ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/13335263#Series/kano_memorial_lectures> ; # Kanô memorial lectures ;
    schema:name "Two applications of logic to mathematics" ;
    schema:numberOfPages "137" ;
    schema:productID "636091708" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/636091708#PublicationEvent/tokyo_iwanami_shoten_publishers_princeton_n_j_princeton_university_press_1978> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/13335263#Agent/iwanami_shoten_publishers_princeton_n_j_princeton_university_press> ; # Iwanami Shoten Publishers; Princeton - N.J.: Princeton University Press
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/636091708> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/13335263#Agent/iwanami_shoten_publishers_princeton_n_j_princeton_university_press> # Iwanami Shoten Publishers; Princeton - N.J.: Princeton University Press
    a bgn:Agent ;
    schema:name "Iwanami Shoten Publishers; Princeton - N.J.: Princeton University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Series/kano_memorial_lectures> # Kanô memorial lectures ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/636091708> ; # Two applications of logic to mathematics
    schema:name "Kanô memorial lectures ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Series/publications_of_the_mathematical_society_of_japan> # Publications of the Mathematical Society of Japan ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/636091708> ; # Two applications of logic to mathematics
    schema:name "Publications of the Mathematical Society of Japan ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/darstellungen_boolescher_algebren_algebra> # DARSTELLUNGEN BOOLESCHER ALGEBREN (ALGEBRA)
    a schema:Thing ;
    schema:name "DARSTELLUNGEN BOOLESCHER ALGEBREN (ALGEBRA)" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/funktionentheorie_analysis> # FUNKTIONENTHEORIE (ANALYSIS)
    a schema:Thing ;
    schema:name "FUNKTIONENTHEORIE (ANALYSIS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/multiplicative_number_theory> # MULTIPLICATIVE NUMBER THEORY
    a schema:Thing ;
    schema:name "MULTIPLICATIVE NUMBER THEORY" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/multiplikative_zahlentheorie> # MULTIPLIKATIVE ZAHLENTHEORIE
    a schema:Thing ;
    schema:name "MULTIPLIKATIVE ZAHLENTHEORIE" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/representations_d_algebres_booleennes_algebre> # REPRÉSENTATIONS D'ALGÈBRES BOOLÉENNES (ALGÈBRE)
    a schema:Thing ;
    schema:name "REPRÉSENTATIONS D'ALGÈBRES BOOLÉENNES (ALGÈBRE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/representations_of_boolean_algebras_algebra> # REPRESENTATIONS OF BOOLEAN ALGEBRAS (ALGEBRA)
    a schema:Thing ;
    schema:name "REPRESENTATIONS OF BOOLEAN ALGEBRAS (ALGEBRA)" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/theorie_des_fonctions_analyse_mathematique> # THÉORIE DES FONCTIONS (ANALYSE MATHÉMATIQUE)
    a schema:Thing ;
    schema:name "THÉORIE DES FONCTIONS (ANALYSE MATHÉMATIQUE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/theorie_multiplicative_des_nombres> # THÉORIE MULTIPLICATIVE DES NOMBRES
    a schema:Thing ;
    schema:name "THÉORIE MULTIPLICATIVE DES NOMBRES" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Thing/theory_of_functions_mathematical_analysis> # THEORY OF FUNCTIONS (MATHEMATICAL ANALYSIS)
    a schema:Thing ;
    schema:name "THEORY OF FUNCTIONS (MATHEMATICAL ANALYSIS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Topic/boolesche_algebra> # Boolesche Algebra
    a schema:Intangible ;
    schema:name "Boolesche Algebra" ;
    .

<http://experiment.worldcat.org/entity/work/data/13335263#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik" ;
    .

<http://viaf.org/viaf/64133112> # G. Takeuti
    a schema:Person ;
    schema:familyName "Takeuti" ;
    schema:givenName "G." ;
    schema:name "G. Takeuti" ;
    .


Content-negotiable representations

Cerrar ventana

Inicie una sesión con WorldCat 

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