skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
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
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<\/h3>
<http:\/\/www.worldcat.org\/oclc\/10871711<\/a>> # Ein neuer Vollst\u00E4ndigkeitsbeweis f\u00FCr das reduzierte Fregesche Axiomensystem des Aussagenkalk\u00FCls.<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Book<\/a>, schema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0library:oclcnum<\/a> \"10871711<\/span>\" ;\u00A0\u00A0\u00A0library:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/423608170#Place\/leipzig<\/a>> ; # Leipzig<\/span>\u00A0\u00A0\u00A0library:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/gw<\/a>> ;\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/viaf.org\/viaf\/51689723<\/a>> ; # Gottlob Frege<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/423608170#Topic\/logic_symbolic_and_mathematical<\/a>> ; # Logic, Symbolic and mathematical<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/423608170#Person\/frege_gottlob_1848_1925<\/a>> ; # Gottlob Frege<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/id.worldcat.org\/fast\/1002068<\/a>> ; # Logic, Symbolic and mathematical<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/423608170#Topic\/frege_gottlob<\/a>> ; # Frege, Gottlob<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/id.loc.gov\/authorities\/classification\/BC135<\/a>> ;\u00A0\u00A0\u00A0schema:author<\/a> <http:\/\/viaf.org\/viaf\/56717980<\/a>> ; # Heinrich Scholz<\/span>\u00A0\u00A0\u00A0schema:bookFormat<\/a> bgn:PrintBook<\/a> ;\u00A0\u00A0\u00A0schema:creator<\/a> <http:\/\/viaf.org\/viaf\/82820<\/a>> ; # Hans Hermes<\/span>\u00A0\u00A0\u00A0schema:datePublished<\/a> \"1937<\/span>\" ;\u00A0\u00A0\u00A0schema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/423608170<\/a>> ;\u00A0\u00A0\u00A0schema:genre<\/a> \"Biography<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0schema:inLanguage<\/a> \"de<\/span>\" ;\u00A0\u00A0\u00A0schema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/423608170#Series\/forschungen_zur_logik_und_zur_grundlegung_der_exakten_wissenschaften_n_f<\/a>> ; # Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, n. F. ;<\/span>\u00A0\u00A0\u00A0schema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/624440596<\/a>> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Ein neuer Vollst\u00E4ndigkeitsbeweis f\u00FCr das reduzierte Fregesche Axiomensystem des Aussagenkalk\u00FCls.<\/span>\" ;\u00A0\u00A0\u00A0schema:productID<\/a> \"10871711<\/span>\" ;\u00A0\u00A0\u00A0schema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/10871711#PublicationEvent\/leipzig_s_hirzel_1937<\/a>> ;\u00A0\u00A0\u00A0schema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/423608170#Agent\/s_hirzel<\/a>> ; # S. Hirzel<\/span>\u00A0\u00A0\u00A0wdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/10871711<\/a>> ;\u00A0\u00A0\u00A0\u00A0.<\/div>

Related Entities<\/h3>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/423608170#Agent\/s_hirzel<\/a>> # S. Hirzel<\/span>\u00A0\u00A0\u00A0\u00A0a bgn:Agent<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"S. Hirzel<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/423608170#Person\/frege_gottlob_1848_1925<\/a>> # Gottlob Frege<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Person<\/a> ;\u00A0\u00A0\u00A0schema:birthDate<\/a> \"1848<\/span>\" ;\u00A0\u00A0\u00A0schema:deathDate<\/a> \"1925<\/span>\" ;\u00A0\u00A0\u00A0schema:familyName<\/a> \"Frege<\/span>\" ;\u00A0\u00A0\u00A0schema:givenName<\/a> \"Gottlob<\/span>\" ;\u00A0\u00A0\u00A0schema:name<\/a> \"Gottlob Frege<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/423608170#Place\/leipzig<\/a>> # Leipzig<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Place<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Leipzig<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/423608170#Series\/forschungen_zur_logik_und_zur_grundlegung_der_exakten_wissenschaften_n_f<\/a>> # Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, n. F. ;<\/span>\u00A0\u00A0\u00A0\u00A0a bgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0schema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/10871711<\/a>> ; # Ein neuer Vollst\u00E4ndigkeitsbeweis f\u00FCr das reduzierte Fregesche Axiomensystem des Aussagenkalk\u00FCls.<\/span>\u00A0\u00A0\u00A0schema:name<\/a> \"Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, n. F. ;<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/423608170#Topic\/frege_gottlob<\/a>> # Frege, Gottlob<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Frege, Gottlob<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/423608170#Topic\/logic_symbolic_and_mathematical<\/a>> # Logic, Symbolic and mathematical<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Logic, Symbolic and mathematical<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/id.loc.gov\/authorities\/classification\/BC135<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/id.loc.gov\/vocabulary\/countries\/gw<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:Place<\/a> ;\u00A0\u00A0\u00A0dcterms:identifier<\/a> \"gw<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/id.worldcat.org\/fast\/1002068<\/a>> # Logic, Symbolic and mathematical<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Logic, Symbolic and mathematical<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/viaf.org\/viaf\/51689723<\/a>> # Gottlob Frege<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Person<\/a> ;\u00A0\u00A0\u00A0schema:birthDate<\/a> \"1848<\/span>\" ;\u00A0\u00A0\u00A0schema:deathDate<\/a> \"1925<\/span>\" ;\u00A0\u00A0\u00A0schema:familyName<\/a> \"Frege<\/span>\" ;\u00A0\u00A0\u00A0schema:givenName<\/a> \"Gottlob<\/span>\" ;\u00A0\u00A0\u00A0schema:name<\/a> \"Gottlob Frege<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/viaf.org\/viaf\/56717980<\/a>> # Heinrich Scholz<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Person<\/a> ;\u00A0\u00A0\u00A0schema:birthDate<\/a> \"1884<\/span>\" ;\u00A0\u00A0\u00A0schema:deathDate<\/a> \"1956,<\/span>\" ;\u00A0\u00A0\u00A0schema:familyName<\/a> \"Scholz<\/span>\" ;\u00A0\u00A0\u00A0schema:givenName<\/a> \"Heinrich<\/span>\" ;\u00A0\u00A0\u00A0schema:name<\/a> \"Heinrich Scholz<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/viaf.org\/viaf\/82820<\/a>> # Hans Hermes<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Person<\/a> ;\u00A0\u00A0\u00A0schema:familyName<\/a> \"Hermes<\/span>\" ;\u00A0\u00A0\u00A0schema:givenName<\/a> \"Hans<\/span>\" ;\u00A0\u00A0\u00A0schema:name<\/a> \"Hans Hermes<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/www.worldcat.org\/oclc\/624440596<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0rdfs:label<\/a> \"Neuer Vollst\u00E4ndigkeitsbeweis f\u00FCr das reduzierte Fregesche Axiomensystem des Aussagenkalk\u00FCls.<\/span>\" ;\u00A0\u00A0\u00A0schema:description<\/a> \"Online version:<\/span>\" ;\u00A0\u00A0\u00A0schema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/10871711<\/a>> ; # Ein neuer Vollst\u00E4ndigkeitsbeweis f\u00FCr das reduzierte Fregesche Axiomensystem des Aussagenkalk\u00FCls.<\/span>\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/www.worldcat.org\/title\/-\/oclc\/10871711<\/a>>\u00A0\u00A0\u00A0\u00A0a genont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/10871711<\/a>> ; # Ein neuer Vollst\u00E4ndigkeitsbeweis f\u00FCr das reduzierte Fregesche Axiomensystem des Aussagenkalk\u00FCls.<\/span>\u00A0\u00A0\u00A0schema:dateModified<\/a> \"2018-11-10<\/span>\" ;\u00A0\u00A0\u00A0void:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.<\/div>