skip to content
Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls. Preview this item
ClosePreview this item
Checking...

Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.

Author: Hans Hermes; Heinrich Scholz
Publisher: Leipzig, S. Hirzel, 1937.
Series: Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, n. F., Heft 1
Edition/Format:   Print book : Biography : GermanView all editions and formats
Database:WorldCat
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

Additional Physical Format: Online version:
Hermes, Hans.
Neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.
Leipzig, S. Hirzel, 1937
(OCoLC)624440596
Named Person: Gottlob Frege; Gottlob Frege
Material Type: Biography
Document Type: Book
All Authors / Contributors: Hans Hermes; Heinrich Scholz
OCLC Number: 10871711
Notes: "Sonderdruck aus der 'Deutschen mathematik', Jahrg. 1, Heft 6, 1936."
Description: 40 pages ; 27 cm.
Series Title: Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, n. F., Heft 1
Responsibility: Von Hans Hermes und Heinrich Scholz.

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/10871711> # Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "10871711" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/423608170#Place/leipzig> ; # Leipzig
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://viaf.org/viaf/51689723> ; # Gottlob Frege
   schema:about <http://experiment.worldcat.org/entity/work/data/423608170#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/423608170#Person/frege_gottlob_1848_1925> ; # Gottlob Frege
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/423608170#Topic/frege_gottlob> ; # Frege, Gottlob
   schema:about <http://id.loc.gov/authorities/classification/BC135> ;
   schema:author <http://viaf.org/viaf/56717980> ; # Heinrich Scholz
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/423608170#Person/hermes_hans> ; # Hans Hermes
   schema:datePublished "1937" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/423608170> ;
   schema:genre "Biography"@en ;
   schema:inLanguage "de" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/423608170#Series/forschungen_zur_logik_und_zur_grundlegung_der_exakten_wissenschaften_n_f> ; # Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, n. F. ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/624440596> ;
   schema:name "Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls." ;
   schema:productID "10871711" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/10871711#PublicationEvent/leipzig_s_hirzel_1937> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/423608170#Agent/s_hirzel> ; # S. Hirzel
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/10871711> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/423608170#Person/frege_gottlob_1848_1925> # Gottlob Frege
    a schema:Person ;
   schema:birthDate "1848" ;
   schema:deathDate "1925" ;
   schema:familyName "Frege" ;
   schema:givenName "Gottlob" ;
   schema:name "Gottlob Frege" ;
    .

<http://experiment.worldcat.org/entity/work/data/423608170#Person/hermes_hans> # Hans Hermes
    a schema:Person ;
   schema:familyName "Hermes" ;
   schema:givenName "Hans" ;
   schema:name "Hans Hermes" ;
    .

<http://experiment.worldcat.org/entity/work/data/423608170#Series/forschungen_zur_logik_und_zur_grundlegung_der_exakten_wissenschaften_n_f> # Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, n. F. ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/10871711> ; # Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.
   schema:name "Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, n. F. ;" ;
    .

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

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical" ;
    .

<http://viaf.org/viaf/51689723> # Gottlob Frege
    a schema:Person ;
   schema:birthDate "1848" ;
   schema:deathDate "1925" ;
   schema:familyName "Frege" ;
   schema:givenName "Gottlob" ;
   schema:name "Gottlob Frege" ;
    .

<http://viaf.org/viaf/56717980> # Heinrich Scholz
    a schema:Person ;
   schema:birthDate "1884" ;
   schema:deathDate "1956," ;
   schema:familyName "Scholz" ;
   schema:givenName "Heinrich" ;
   schema:name "Heinrich Scholz" ;
    .

<http://www.worldcat.org/oclc/624440596>
    a schema:CreativeWork ;
   rdfs:label "Neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/10871711> ; # Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.
    .

<http://www.worldcat.org/title/-/oclc/10871711>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/10871711> ; # Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls.
   schema:dateModified "2017-01-21" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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