<rdf:RDF xmlns:burst="http://xmlns.com/burst/0.1/" xmlns:admin="http://webns.net/mvcb/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:cc="http://web.resource.org/cc/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:swrc="http://swrc.ontoware.org/ontology#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"><channel rdf:about="http://www.bibsonomy.org/burst/tag/logik"><title>BibSonomy publications for /tag/logik</title><link>http://www.bibsonomy.org/burst/tag/logik</link><description>BibSonomy BuRST Feed for /tag/logik</description><dc:date>2008-08-21T12:51:59+02:00</dc:date><items><rdf:Seq><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2ff4261f5c7f2e8df8901a0ca7ed0440c/cschenk"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/28fc6df423c766b3c7d13b649d50b0eb3/rafael"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/23afef138817d59e6c6185eed93625d10/stumme"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2b3c95da6e27bcdeefe729eaae97d8918/callagialla"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2911509f6f0c228671725599b6467f68d/stromgeist"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/23d40b29dce0b795bd6477de4704a1ae6/stromgeist"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/22b5f12761e7210bab1b6640f418b9597/tobidiplom"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/27c1a1f07475b777dd7ec487035a1de1b/alex"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2f0fa2e93dbd3f388baf627b774e3b8e3/stumme"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2473ea9a2e43c7dd0c0d07a0881538bee/a_olympia"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/21c8c27c217ba7d78579b7d6297fe2e48/stumme"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2dfa1c6a157296e84fd09ddfca4324b01/pustakalaya"/></rdf:Seq></items></channel><item rdf:about="http://www.bibsonomy.org/bibtex/2ff4261f5c7f2e8df8901a0ca7ed0440c/cschenk"><title>Logik f&#252;r Informatiker</title><description>Von Titel her zwar belächelt, aber inhaltlich gut verständlich.</description><link>http://www.bibsonomy.org/bibtex/2ff4261f5c7f2e8df8901a0ca7ed0440c/cschenk</link><dc:creator>cschenk</dc:creator><dc:date>2008-06-27T15:27:04+02:00</dc:date><dc:subject>theorie studium read:2005 logik uni rating:4 resolution book informatik </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Uwe &lt;a href=&#034;http://www.bibsonomy.org/author/Schöning&#034;&gt;Sch&amp;#246;ning&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Spektrum Akademischer Verlag, &lt;/em&gt;&lt;em&gt;5. A. edition, &lt;/em&gt;(&lt;em&gt;2000&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/theorie"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/studium"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/read:2005"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logik"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/uni"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/rating:4"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/resolution"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/book"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/informatik"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2ff4261f5c7f2e8df8901a0ca7ed0440c/cschenk"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2ff4261f5c7f2e8df8901a0ca7ed0440c/cschenk"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Book"/><owl:sameAs rdf:resource="http://www.amazon.de/Logik-f%C3%BCr-Informatiker-Sav-Informatik/dp/3827410053"/><swrc:date>Fri Jun 27 15:27:04 CEST 2008</swrc:date><swrc:edition>5. A.</swrc:edition><swrc:publisher><swrc:Organization swrc:name="Spektrum Akademischer Verlag"/></swrc:publisher><swrc:title>Logik für Informatiker</swrc:title><swrc:year>2000</swrc:year><swrc:keywords>theorie studium read:2005 logik uni rating:4 resolution book informatik </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="9783827410054" swrc:key="ean"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="3827410053" swrc:key="asin"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="3827410053" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Uwe Schöning"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/28fc6df423c766b3c7d13b649d50b0eb3/rafael"><title>The Nature of Possibility</title><link>http://www.bibsonomy.org/bibtex/28fc6df423c766b3c7d13b649d50b0eb3/rafael</link><dc:creator>rafael</dc:creator><dc:date>2008-06-09T09:28:26+02:00</dc:date><dc:subject>Logik Modalität Möglichkeit </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;D.M.: &lt;a href=&#034;http://www.bibsonomy.org/author/Armstrong&#034;&gt;Armstrong&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Canadian Journal of Philosophy&lt;/em&gt;(&lt;em&gt;1986&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Logik"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Modalität"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Möglichkeit"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/28fc6df423c766b3c7d13b649d50b0eb3/rafael"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/28fc6df423c766b3c7d13b649d50b0eb3/rafael"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><swrc:date>Mon Jun 09 09:28:26 CEST 2008</swrc:date><swrc:journal>Canadian Journal of Philosophy</swrc:journal><swrc:pages>575-594</swrc:pages><swrc:title>The Nature of Possibility</swrc:title><swrc:volume>16</swrc:volume><swrc:year>1986</swrc:year><swrc:keywords>Logik Modalität Möglichkeit </swrc:keywords><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="D.M.: Armstrong"/></rdf:_1></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name=" 1986"/></rdf:_1></rdf:Seq></swrc:editor></rdf:Description></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/23afef138817d59e6c6185eed93625d10/stumme"><title>Algebra der Logik I, II, III. 1890, 1891, 1895</title><link>http://www.bibsonomy.org/bibtex/23afef138817d59e6c6185eed93625d10/stumme</link><dc:creator>stumme</dc:creator><dc:date>2008-03-28T12:11:30+01:00</dc:date><dc:subject>fca logik OntologyHandbook FCA </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Ernst &lt;a href=&#034;http://www.bibsonomy.org/author/Schr�der&#034;&gt;Schr&amp;#65533;der&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Thoemmes Press, &lt;/em&gt;&lt;em&gt;Bristol, &lt;/em&gt;(&lt;em&gt;2001&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/fca"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logik"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/OntologyHandbook"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/FCA"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/23afef138817d59e6c6185eed93625d10/stumme"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/23afef138817d59e6c6185eed93625d10/stumme"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Book"/><swrc:date>Fri Mar 28 12:11:30 CET 2008</swrc:date><swrc:address>Bristol</swrc:address><swrc:publisher><swrc:Organization swrc:name="Thoemmes Press"/></swrc:publisher><swrc:title>Algebra der Logik I, II, III. 1890, 1891, 1895</swrc:title><swrc:year>2001</swrc:year><swrc:keywords>fca logik OntologyHandbook FCA </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="Bristol 2001" swrc:key="location"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Ernst Schr�der"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/2b3c95da6e27bcdeefe729eaae97d8918/callagialla"><title>From a Logical Point of View: 9 Logico-Philosophical Essays</title><link>http://www.bibsonomy.org/bibtex/2b3c95da6e27bcdeefe729eaae97d8918/callagialla</link><dc:creator>callagialla</dc:creator><dc:date>2008-03-20T21:20:07+01:00</dc:date><dc:subject>Logik </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Willard V. &lt;a href=&#034;http://www.bibsonomy.org/author/Quine&#034;&gt;Quine&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Harvard University Press, &lt;/em&gt;&lt;em&gt;Cambridge, Mass., &lt;/em&gt;&lt;em&gt;new ed. edition, &lt;/em&gt;(&lt;em&gt;2003&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Logik"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2b3c95da6e27bcdeefe729eaae97d8918/callagialla"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2b3c95da6e27bcdeefe729eaae97d8918/callagialla"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Book"/><swrc:date>Thu Mar 20 21:20:07 CET 2008</swrc:date><swrc:address>Cambridge, Mass.</swrc:address><swrc:edition>new ed.</swrc:edition><swrc:publisher><swrc:Organization swrc:name="Harvard University Press"/></swrc:publisher><swrc:title>From a Logical Point of View:  9 Logico-Philosophical Essays</swrc:title><swrc:year>2003</swrc:year><swrc:keywords>Logik </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="0674323513" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Willard V. Quine"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/2911509f6f0c228671725599b6467f68d/stromgeist"><title>Symbolische Maschinen: Die Idee der Formalisierung in geschichtlichem Abri\ss</title><description>import</description><link>http://www.bibsonomy.org/bibtex/2911509f6f0c228671725599b6467f68d/stromgeist</link><dc:creator>stromgeist</dc:creator><dc:date>2007-12-25T11:08:40+01:00</dc:date><dc:subject>Philosophie Mathematik Logik Computer Maschine Geschichte </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Sybille &lt;a href=&#034;http://www.bibsonomy.org/author/Kr{\&amp;#034;a}mer&#034;&gt;Kr&amp;#228;mer&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Wissenschaftliche Buchgesellschaft, &lt;/em&gt;&lt;em&gt;Darmstadt, &lt;/em&gt;(&lt;em&gt;1988&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Philosophie"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Mathematik"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Logik"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Computer"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Maschine"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Geschichte"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2911509f6f0c228671725599b6467f68d/stromgeist"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2911509f6f0c228671725599b6467f68d/stromgeist"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Book"/><owl:sameAs rdf:resource="http://www.gbv.de/du/services/agi/D4F58E0DE7F7005DC125708B005294DC/000000133301"/><swrc:date>Tue Dec 25 11:08:40 CET 2007</swrc:date><swrc:address>Darmstadt</swrc:address><swrc:publisher><swrc:Organization swrc:name="Wissenschaftliche Buchgesellschaft"/></swrc:publisher><swrc:title>Symbolische Maschinen:  Die Idee der Formalisierung in geschichtlichem Abri{\ss}</swrc:title><swrc:year>1988</swrc:year><swrc:keywords>Philosophie Mathematik Logik Computer Maschine Geschichte </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="3534032071" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Sybille Kr{\&#034;a}mer"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/23d40b29dce0b795bd6477de4704a1ae6/stromgeist"><title>Die Rationalit&#228;t der Metapher: Eine sprachphilosophische und kommunikationstheoretische Untersuchung</title><description>import</description><link>http://www.bibsonomy.org/bibtex/23d40b29dce0b795bd6477de4704a1ae6/stromgeist</link><dc:creator>stromgeist</dc:creator><dc:date>2007-12-25T11:08:40+01:00</dc:date><dc:subject>Logik Kommunikationstheorie Metapher Sprache Semantik Rationalit{\&#034;a}t Philosophie </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Bernhard &lt;a href=&#034;http://www.bibsonomy.org/author/Debatin&#034;&gt;Debatin&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Grundlagen der Kommunikation und Kognition &lt;/em&gt;&lt;em&gt;de Gruyter, &lt;/em&gt;&lt;em&gt;Berlin, &lt;/em&gt;(&lt;em&gt;1995&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Logik"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Kommunikationstheorie"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Metapher"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Sprache"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Semantik"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Rationalit{\&#034;a}t"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Philosophie"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/23d40b29dce0b795bd6477de4704a1ae6/stromgeist"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/23d40b29dce0b795bd6477de4704a1ae6/stromgeist"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Book"/><swrc:date>Tue Dec 25 11:08:40 CET 2007</swrc:date><swrc:address>Berlin</swrc:address><swrc:publisher><swrc:Organization swrc:name="de Gruyter"/></swrc:publisher><swrc:series>Grundlagen der Kommunikation und Kognition</swrc:series><swrc:title>Die Rationalit{\&#034;a}t der Metapher:  Eine sprachphilosophische und kommunikationstheoretische Untersuchung</swrc:title><swrc:year>1995</swrc:year><swrc:keywords>Logik Kommunikationstheorie Metapher Sprache Semantik Rationalit{\&#034;a}t Philosophie </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="DM 234.00" swrc:key="price"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="3110147084" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Bernhard Debatin"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/22b5f12761e7210bab1b6640f418b9597/tobidiplom"><title>Kalk&#252;l der Form</title><link>http://www.bibsonomy.org/bibtex/22b5f12761e7210bab1b6640f418b9597/tobidiplom</link><dc:creator>tobidiplom</dc:creator><dc:date>2007-12-20T14:24:01+01:00</dc:date><dc:subject>logik kalkül mathematik laws_of_form </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Dirk &lt;a href=&#034;http://www.bibsonomy.org/author/Baecker&#034;&gt;Baecker&lt;/a&gt; 
				(eds.).
			 &lt;/span&gt;&lt;em&gt;Suhrkamp, &lt;/em&gt;&lt;em&gt;Frankfurt am Main, &lt;/em&gt;(&lt;em&gt;1993&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logik"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/kalkül"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/mathematik"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/laws_of_form"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/22b5f12761e7210bab1b6640f418b9597/tobidiplom"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/22b5f12761e7210bab1b6640f418b9597/tobidiplom"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Book"/><swrc:date>Thu Dec 20 14:24:01 CET 2007</swrc:date><swrc:address>Frankfurt am Main</swrc:address><swrc:publisher><swrc:Organization swrc:name="Suhrkamp"/></swrc:publisher><swrc:title>Kalk{\&#034;u}l der Form</swrc:title><swrc:year>1993</swrc:year><swrc:keywords>logik kalkül mathematik laws_of_form </swrc:keywords><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Dirk Baecker"/></rdf:_1></rdf:Seq></swrc:editor></rdf:Description></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/27c1a1f07475b777dd7ec487035a1de1b/alex"><title>Einf&#252;hrung in die Mathematische Logik und Modelltheorie</title><link>http://www.bibsonomy.org/bibtex/27c1a1f07475b777dd7ec487035a1de1b/alex</link><dc:creator>alex</dc:creator><dc:date>2007-12-03T16:55:23+01:00</dc:date><dc:subject>logik mathematik </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Alexander &lt;a href=&#034;http://www.bibsonomy.org/author/Prestel&#034;&gt;Prestel&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Vieweg, &lt;/em&gt;&lt;em&gt;Braunschweig, Wiesbaden, &lt;/em&gt;(&lt;em&gt;1986&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logik"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/mathematik"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/27c1a1f07475b777dd7ec487035a1de1b/alex"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/27c1a1f07475b777dd7ec487035a1de1b/alex"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Book"/><swrc:date>Mon Dec 03 16:55:23 CET 2007</swrc:date><swrc:address>Braunschweig, Wiesbaden</swrc:address><swrc:publisher><swrc:Organization swrc:name="Vieweg"/></swrc:publisher><swrc:title>Einführung in die Mathematische Logik und Modelltheorie</swrc:title><swrc:year>1986</swrc:year><swrc:keywords>logik mathematik </swrc:keywords><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Alexander Prestel"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/2f0fa2e93dbd3f388baf627b774e3b8e3/stumme"><title>Algebra der Logik I, II, III. 1890, 1891, 1895</title><link>http://www.bibsonomy.org/bibtex/2f0fa2e93dbd3f388baf627b774e3b8e3/stumme</link><dc:creator>stumme</dc:creator><dc:date>2007-09-05T14:33:43+02:00</dc:date><dc:subject>fca logik </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Ernst &lt;a href=&#034;http://www.bibsonomy.org/author/Schröder&#034;&gt;Schr&amp;#246;der&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Thoemmes Press, &lt;/em&gt;&lt;em&gt;Bristol, &lt;/em&gt;(&lt;em&gt;2001&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/fca"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logik"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2f0fa2e93dbd3f388baf627b774e3b8e3/stumme"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2f0fa2e93dbd3f388baf627b774e3b8e3/stumme"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Book"/><swrc:date>Wed Sep 05 14:33:43 CEST 2007</swrc:date><swrc:address>Bristol</swrc:address><swrc:publisher><swrc:Organization swrc:name="Thoemmes Press"/></swrc:publisher><swrc:title>Algebra der Logik I, II, III. 1890, 1891, 1895</swrc:title><swrc:year>2001</swrc:year><swrc:keywords>fca logik </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="Bristol 2001" swrc:key="location"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Ernst Schröder"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/2473ea9a2e43c7dd0c0d07a0881538bee/a_olympia"><title>The Principles of Mathematics Revisited</title><description>citeulike</description><link>http://www.bibsonomy.org/bibtex/2473ea9a2e43c7dd0c0d07a0881538bee/a_olympia</link><dc:creator>a_olympia</dc:creator><dc:date>2007-08-18T13:22:24+02:00</dc:date><dc:subject>logik </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Jaakko &lt;a href=&#034;http://www.bibsonomy.org/author/Hintikka&#034;&gt;Hintikka&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Cambridge University Press, &lt;/em&gt;&lt;em&gt;April1998. &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logik"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2473ea9a2e43c7dd0c0d07a0881538bee/a_olympia"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2473ea9a2e43c7dd0c0d07a0881538bee/a_olympia"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Book"/><owl:sameAs rdf:resource="http://www.amazon.ca/exec/obidos/redirect?tag=citeulike04-20{\&amp;}path=ASIN/0521624983"/><swrc:date>Sat Aug 18 13:22:24 CEST 2007</swrc:date><swrc:howpublished>Paperback</swrc:howpublished><swrc:month>April</swrc:month><swrc:publisher><swrc:Organization swrc:name="{Cambridge University Press}"/></swrc:publisher><swrc:title>The Principles of Mathematics Revisited</swrc:title><swrc:year>1998</swrc:year><swrc:keywords>logik </swrc:keywords><swrc:abstract>{This book, written by one of philosophy&#039;s preeminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics.  This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. Hintikka&#039;s new logic is highly original and will prove appealing to logicians, philosophers of mathematics, and mathematicians concerned with the foundations of the discipline.}</swrc:abstract><swrc:hasExtraField><swrc:Field swrc:value="266531" swrc:key="id"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="2" swrc:key="priority"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="0521624983" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Jaakko Hintikka"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/21c8c27c217ba7d78579b7d6297fe2e48/stumme"><title>Investigation of The Laws of Thought On Which Are Founded the Mathematical Theories of Logic and Probabilities</title><link>http://www.bibsonomy.org/bibtex/21c8c27c217ba7d78579b7d6297fe2e48/stumme</link><dc:creator>stumme</dc:creator><dc:date>2007-07-24T12:45:55+02:00</dc:date><dc:subject>Boole laws boole logic thought logik </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;George &lt;a href=&#034;http://www.bibsonomy.org/author/Boole&#034;&gt;Boole&lt;/a&gt;  &lt;/span&gt;(&lt;em&gt;1853&lt;/em&gt;) &lt;em&gt;Also available from Dover, New York 1958, ISBN 0-486-60028-9.
		    .
	    &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Boole"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/laws"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/boole"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/thought"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logik"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/21c8c27c217ba7d78579b7d6297fe2e48/stumme"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/21c8c27c217ba7d78579b7d6297fe2e48/stumme"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Book"/><owl:sameAs rdf:resource="http://www.gutenberg.org/etext/15114"/><swrc:date>Tue Jul 24 12:45:55 CEST 2007</swrc:date><swrc:note>Also available from Dover, New York 1958, ISBN 0-486-60028-9.</swrc:note><swrc:title>Investigation of The Laws of Thought On Which Are Founded the
Mathematical Theories of Logic and Probabilities</swrc:title><swrc:year>1853</swrc:year><swrc:keywords>Boole laws boole logic thought logik </swrc:keywords><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="George Boole"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description></burst:publication></item><item rdf:about="http://www.bibsonomy.org/bibtex/2dfa1c6a157296e84fd09ddfca4324b01/pustakalaya"><title>The Happening of Tradition: Vallabha on Anum&#257;na in Ny&#257;yal&#299;l&#257;vat&#299;</title><link>http://www.bibsonomy.org/bibtex/2dfa1c6a157296e84fd09ddfca4324b01/pustakalaya</link><dc:creator>pustakalaya</dc:creator><dc:date>2007-04-01T21:27:25+02:00</dc:date><dc:subject>indologica logik philosophie </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Anna-Pya &lt;a href=&#034;http://www.bibsonomy.org/author/Sjödin&#034;&gt;Sj&amp;#246;din&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Acta Universitatis Upsaliensis: South Asian Studies; 1 &lt;/em&gt;&lt;em&gt;Uppsala University, Interfaculty Units, &lt;/em&gt;&lt;em&gt;Uppsala, &lt;/em&gt;(&lt;em&gt;2006&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/indologica"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/logik"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/philosophie"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2dfa1c6a157296e84fd09ddfca4324b01/pustakalaya"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2dfa1c6a157296e84fd09ddfca4324b01/pustakalaya"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Book"/><owl:sameAs rdf:resource="http://indologica.blogg.de/eintrag.php?id=1129"/><swrc:date>Sun Apr 01 21:27:25 CEST 2007</swrc:date><swrc:address>Uppsala</swrc:address><swrc:pages>195 S.</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Uppsala University, Interfaculty Units"/></swrc:publisher><swrc:series>Acta Universitatis Upsaliensis: South Asian Studies; 1</swrc:series><swrc:title>The Happening of Tradition: Vallabha on Anumāna in Nyāyalīlāvatī</swrc:title><swrc:year>2006</swrc:year><swrc:keywords>indologica logik philosophie </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="91-554-6757-1" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Anna-Pya Sjödin"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description></burst:publication></item></rdf:RDF>