skip to content
Principles of mathematical logic Preview this item
ClosePreview this item
Checking...

Principles of mathematical logic

Author: David Hilbert; Wilhelm Ackermann; Robert E Luce
Publisher: Providence : R.I. : American mathematical Society Chelsea, [2008]
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

David Hilbert was particularly interested in the foundations of mathematics. Among many other things, he is famous for his attempt to axiomatize mathematics. This text presents his treatment of  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: David Hilbert; Wilhelm Ackermann; Robert E Luce
ISBN: 9780821820247 0821820249
OCLC Number: 762832001
Notes: Bibliogr. p. 169-170.
Reproduction Notes: Réimpression de l'éd. originale de.
Description: 1 vol. (XII-172 p.) ; 24 cm
Contents: The sentential calculus The calculus of classes (monadic predicate calculus) The restricted predicate calculus The extended predicate calculus Editor's notes Bibliography Index.
Other Titles: Grundzüge der theoretischen Logik.
Responsibility: D. Hilbert and W. Ackermann ; Robert E. Luce (Ed.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/762832001> # Principles of mathematical logic
    a schema:Book, schema:CreativeWork ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/762832001#CreativeWork/unidentifiedOriginalWork> ; # Grundzüge der theoretischen Logik.
   library:oclcnum "762832001" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/riu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4494912329#Place/providence> ; # Providence
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/4494912329#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:author <http://viaf.org/viaf/53480381> ; # Robert E. Luce
   schema:author <http://viaf.org/viaf/121826940> ; # Wilhelm Ackermann
   schema:author <http://viaf.org/viaf/46779749> ; # David Hilbert
   schema:bookFormat bgn:PrintBook ;
   schema:datePublished "2008" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4494912329> ; # Grundzüge der theoretischen Logik.
   schema:inLanguage "en" ;
   schema:name "Principles of mathematical logic" ;
   schema:productID "762832001" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/762832001#PublicationEvent/providence_r_i_american_mathematical_society_chelsea_2008> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4494912329#Agent/r_i> ; # R.I.
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4494912329#Agent/american_mathematical_society_chelsea> ; # American mathematical Society Chelsea
   schema:workExample <http://worldcat.org/isbn/9780821820247> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/762832001> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4494912329#Agent/american_mathematical_society_chelsea> # American mathematical Society Chelsea
    a bgn:Agent ;
   schema:name "American mathematical Society Chelsea" ;
    .

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

<http://viaf.org/viaf/121826940> # Wilhelm Ackermann
    a schema:Person ;
   schema:birthDate "1896" ;
   schema:deathDate "" ;
   schema:familyName "Ackermann" ;
   schema:givenName "Wilhelm" ;
   schema:name "Wilhelm Ackermann" ;
    .

<http://viaf.org/viaf/46779749> # David Hilbert
    a schema:Person ;
   schema:birthDate "1862" ;
   schema:deathDate "1943" ;
   schema:familyName "Hilbert" ;
   schema:givenName "David" ;
   schema:name "David Hilbert" ;
    .

<http://viaf.org/viaf/53480381> # Robert E. Luce
    a schema:Person ;
   schema:familyName "Luce" ;
   schema:givenName "Robert E." ;
   schema:name "Robert E. Luce" ;
    .

<http://worldcat.org/entity/work/id/4494912329> # Grundzüge der theoretischen Logik.
   schema:name "Grundzüge der theoretischen Logik." ;
    .

<http://worldcat.org/isbn/9780821820247>
    a schema:ProductModel ;
   schema:isbn "0821820249" ;
   schema:isbn "9780821820247" ;
    .

<http://www.worldcat.org/title/-/oclc/762832001#CreativeWork/unidentifiedOriginalWork> # Grundzüge der theoretischen Logik.
    a schema:CreativeWork ;
   schema:inLanguage "de" ;
   schema:name "Grundzüge der theoretischen Logik." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.