skip to content
The axiomatic method; an introduction to mathematical logic. Preview this item
ClosePreview this item
Checking...

The axiomatic method; an introduction to mathematical logic.

Author: A H Lightstone
Publisher: Englewood Cliffs, N.J., Prentice-Hall [1964]
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Additional Physical Format: Online version:
Lightstone, A.H.
Axiomatic method.
Englewood Cliffs, N.J., Prentice-Hall [1964]
(OCoLC)622070909
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: A H Lightstone
OCLC Number: 796035
Description: x, 246 pages 24 cm
Contents: pt. I. Review of fundamentals. Symbolic logic --
Set theory --
pt. II. The axiomatic method. The axiomatic method and abstract algebra --
pt. III. Mathematical logic. The propositional calculus --
The predicate calculus --
The completeness of the predicate calculus --
Appendix. Complete theories.

Reviews

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

Tags

Be the first.
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/796035> # The axiomatic method; an introduction to mathematical logic.
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "796035" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nju> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/431439759#Place/englewood_cliffs_n_j> ; # Englewood Cliffs, N.J.
    schema:about <http://experiment.worldcat.org/entity/work/data/431439759#Topic/mathematics_philosophy> ; # Mathematics--Philosophy
    schema:about <http://dewey.info/class/164/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/431439759#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/431439759#Topic/theorie_des_ensembles> ; # Théorie des ensembles
    schema:about <http://experiment.worldcat.org/entity/work/data/431439759#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/431439759#Topic/algebre_abstraite> ; # Algèbre abstraite
    schema:about <http://experiment.worldcat.org/entity/work/data/431439759#Topic/axioms> ; # Axioms
    schema:about <http://id.loc.gov/authorities/subjects/sh85082153> ; # Mathematics--Philosophy
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/110247506> ; # A. H. Lightstone
    schema:datePublished "1964" ;
    schema:description "pt. I. Review of fundamentals. Symbolic logic -- Set theory -- pt. II. The axiomatic method. The axiomatic method and abstract algebra -- pt. III. Mathematical logic. The propositional calculus -- The predicate calculus -- The completeness of the predicate calculus -- Appendix. Complete theories."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/431439759> ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/622070909> ;
    schema:name "The axiomatic method; an introduction to mathematical logic."@en ;
    schema:productID "796035" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/796035#PublicationEvent/englewood_cliffs_n_j_prentice_hall1964> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/431439759#Agent/prentice_hall> ; # Prentice-Hall
    schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1936674&custom_att_2=simple_viewer> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/796035> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/431439759#Agent/prentice_hall> # Prentice-Hall
    a bgn:Agent ;
    schema:name "Prentice-Hall" ;
    .

<http://experiment.worldcat.org/entity/work/data/431439759#Place/englewood_cliffs_n_j> # Englewood Cliffs, N.J.
    a schema:Place ;
    schema:name "Englewood Cliffs, N.J." ;
    .

<http://experiment.worldcat.org/entity/work/data/431439759#Topic/algebre_abstraite> # Algèbre abstraite
    a schema:Intangible ;
    schema:name "Algèbre abstraite"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/431439759#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/431439759#Topic/mathematics_philosophy> # Mathematics--Philosophy
    a schema:Intangible ;
    schema:name "Mathematics--Philosophy"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/431439759#Topic/theorie_des_ensembles> # Théorie des ensembles
    a schema:Intangible ;
    schema:name "Théorie des ensembles"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85082153> # Mathematics--Philosophy
    a schema:Intangible ;
    schema:name "Mathematics--Philosophy"@en ;
    .

<http://viaf.org/viaf/110247506> # A. H. Lightstone
    a schema:Person ;
    schema:familyName "Lightstone" ;
    schema:givenName "A. H." ;
    schema:name "A. H. Lightstone" ;
    .

<http://www.worldcat.org/oclc/622070909>
    a schema:CreativeWork ;
    rdfs:label "Axiomatic method." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/796035> ; # The axiomatic method; an introduction to mathematical logic.
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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