passa ai contenuti
Two applications of logic to mathematics Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Two applications of logic to mathematics

Autore: G Takeuti
Editore: Tokyo: Iwanami Shoten Publishers; Princeton - N.J.: Princeton University Press, 1978.
Serie: Kanô memorial lectures, 3.; Publications of the Mathematical Society of Japan, 13.
Edizione/Formato:   book_printbook : 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

Tipo documento: Book
Tutti gli autori / Collaboratori: G Takeuti
Numero OCLC: 636091708
Descrizione: VIII, 137 p. : fig.
Titolo della serie: Kanô memorial lectures, 3.; Publications of the Mathematical Society of Japan, 13.
Responsabilità: Gaisi Takeuti.

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/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/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

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.