@book{Barwise2005Sprac-27155,
  year={2005},
  isbn={3-89785-440-6},
  publisher={Paderborn : mentis},
  title={Sprache, Beweis und Logik ; 1. Aussagen- und Prädikatenlogik},
  editor={Bromand, Joachim and Müller, Thomas and Sommaruga, Giovanni},
  author={Barwise, Jon and Echtemendy, John},
  note={Übersetzt und für das Deutsche bearbeitet von Joachim Bromand, Thomas Müller und Giovanni Sommaruga}
}

<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/27155">
    <dc:language>deu</dc:language>
    <dcterms:title>Sprache, Beweis und Logik ; 1. Aussagen- und Prädikatenlogik</dcterms:title>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/27155"/>
    <dcterms:abstract xml:lang="deu">Mit Sprache, Beweis und Logik liegt nun die auf zwei Bände angelegte deutsche Übersetzung des erfolgreichen Lehrbuchs Language, Proof and Logic vor. Band I führt in die klassische Aussagen- und Prädikatenlogik ein und übertrifft dabei andere Logikeinführungen an Ausführlichkeit und Praxisnähe bei weitem. Den Text zeichnen u.a. die folgenden Punkte aus:&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;Der Text zeigt zahlreiche interdisziplinäre Anknüpfungspunkte zu Philosophie, Sprachwissenschaft, Mathematik und Informatik auf.&lt;br /&gt;&lt;br /&gt;Es handelt sich um ein vielerprobtes Standardwerk, dessen hervorragende didaktische Qualität sich oftmals unter Beweis gestellt hat.&lt;br /&gt;&lt;br /&gt;Der vorgestellte Kalkül des natürlichen Schließens ist praxisnah und verständlich. Er wird aufbauend auf informelle Argumentationsmuster eingeführt, die den Studierenden implizit bereits vertraut sind.&lt;br /&gt;&lt;br /&gt;Begleitend zum Text gibt es eine umfangreiche Software-Unterstützung, die sehr zur Veranschaulichung des Stoffes beiträgt. Studierende können so selbständig mit den Beweistechniken experimentieren und erhalten unmittelbares Feedback für viele Übungen.</dcterms:abstract>
    <dc:contributor>Sommaruga, Giovanni</dc:contributor>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:creator>Echtemendy, John</dc:creator>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-05-28T12:55:32Z</dc:date>
    <dc:contributor>Barwise, Jon</dc:contributor>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dc:contributor>Bromand, Joachim</dc:contributor>
    <bibo:issn>3-89785-440-6</bibo:issn>
    <dc:publisher>Paderborn : mentis</dc:publisher>
    <dcterms:alternative>Language, proof and logic</dcterms:alternative>
    <dc:contributor>Müller, Thomas</dc:contributor>
    <dcterms:issued>2005</dcterms:issued>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dc:contributor>Echtemendy, John</dc:contributor>
    <dc:rights>terms-of-use</dc:rights>
    <dc:creator>Barwise, Jon</dc:creator>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-05-28T12:55:32Z</dcterms:available>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
  </rdf:Description>
</rdf:RDF>