Verfügbarkeit: Klassische und nichtklassische Aussagenlogik

Klassische und nichtklassische Aussagenlogik:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Rautenberg, Wolfgang (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Braunschweig [u.a.] Vieweg 1979
Schriftenreihe:	Logik und Grundlagen der Mathematik 22
Schlagworte:	Predicate calculus Aussagenlogik Hochschulschrift
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	Hier auch später erschienene, unveränderte Nachdrucke
Beschreibung:	XI, 361 S. graph. Darst.
ISBN:	3528083859 9783528083854

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV001233270
003	DE-604
005	20161010
007	t
008	890315s1979 d\|\|\| m\|\|\| 00\|\|\| ger d
020			\|a 3528083859 \|9 3-528-08385-9
020			\|a 9783528083854 \|9 978-3-528-08385-4
035			\|a (OCoLC)611381876
035			\|a (DE-599)BVBBV001233270
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
049			\|a DE-12 \|a DE-19 \|a DE-91 \|a DE-91G \|a DE-384 \|a DE-861 \|a DE-473 \|a DE-703 \|a DE-739 \|a DE-355 \|a DE-20 \|a DE-29 \|a DE-29T \|a DE-M468 \|a DE-706 \|a DE-634 \|a DE-83 \|a DE-521 \|a DE-11 \|a DE-188
050		0	\|a QA9
084			\|a CC 2500 \|0 (DE-625)17609: \|2 rvk
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a 03B05 \|2 msc
100	1		\|a Rautenberg, Wolfgang \|e Verfasser \|4 aut
245	1	0	\|a Klassische und nichtklassische Aussagenlogik \|c Wolfgang Rautenberg
264		1	\|a Braunschweig [u.a.] \|b Vieweg \|c 1979
300			\|a XI, 361 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Logik und Grundlagen der Mathematik \|v 22
500			\|a Hier auch später erschienene, unveränderte Nachdrucke
650		4	\|a Predicate calculus
650	0	7	\|a Aussagenlogik \|0 (DE-588)4136098-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a Aussagenlogik \|0 (DE-588)4136098-9 \|D s
689	0		\|5 DE-604
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-322-85796-5
830		0	\|a Logik und Grundlagen der Mathematik \|v 22 \|w (DE-604)BV002765485 \|9 22
856	4	2	\|m GBV Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000742397&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-000742397
980	4		\|a (DE-12)AK18080656

Datensatz im Suchindex

_version_	1804115626723115008
adam_text	IMAGE 1 * VII INHALTSVERZEICHNIS EINLEITUNG 1 KAP. I ZWEIWERTIGE AUSSAGENLOGIK S § 1 AUSSAGENLOGISCHE VERKNUEPFUNGEN UND BOOLESCHE FUNKTIONEN 6 DIE BEIDEN HAUPTPRINZIPIEN DER KLASSISCHEN LOGIK 7 - DIE SOGENANNTEN PARADOXIEN DER EXTENSIONALEN IMPLIKATION 10 - UEBERSICHTLICHE ZUSAMMENSTELLUNG DER AUSSAGENVERKNUEPFUNGEN UND IHRER WAHRHEITSWERTE FUNKTIONEN 13 - REDUZIERBARKEIT VON VERKNUEPFUNGEN 15 §2 AUSSAGENLOGISCHE FORMELN, ERFUELLBARKEIT, ALLGEMEINGUELTIGKEIT 17 DER AUFBAU AUSSAGENLOGISCHER FORMELN 17 - DAS BEWEISPRINZIP DER INDUKTION UEBER DEN FORMELAUFBAU 20 - DER WERT EINER FORMEL BEI EINER BELEGUNG 21 - ERFUELLBARKEIT 24 - EIN LOGISCH-KOMBINATORISCHES PROBLEM 26 - ALLGEMEINGUELTIGKEIT 27 § 3 LOGISCHE AEQUIVALENZ, NORMALFORMEN UND FUNKTIONALE VOLLSTAENDIGKEIT . . .. 30 LOGISCHE AEQUIVALENZ-VERSCHAERFUNG UND ABSCHWAECHUNG 30 - DIE TARSKI-ALGEBRA 33 - NORMALFORMEN UND FUNKTIONALE VOLL STAENDIGKEIT 34 - FUNKTIONALE UNVOLLSTAENDIGKEIT 37 § 4 AUSSAGENLOGISCHES FOLGERN UND DER ENDLICHKEITSSATZ 39 DEFINITION UND ERSTE EIGENSCHAFTEN DES AUSSAGENLOGISCHEN FOLGERNS 39 - DER ENDLICHKEITSSATZ UND ANWENDUNGSBEISPIELE 41 § 5 INTERPOLATION UND DEFINIERBARKEIT 46 DER EINFACHE INTERPOLATIONSSATZ 46 - DEFINIERBARKEIT 47 - EIN ALLGEMEINER INTERPOLATIONSSATZ UND ANWENDUNGEN 49 - ALGEBRAISCHE FASSUNG DES DEFINIERBARKEITSTHEOREMS 51 KAP.LL AUSSAGENLOGISCHE KALKUELE UND EINFUEHRUNG IN DIE THEORIE DER DEDUKTIVEN SYSTEME 53 § 1 DER KLASSISCHE TABLEAU-KALKUEL 55 BEISPIELE VON TABLEAUS 55 - DER TABLEAU-KALKUEL 56 - ADAEQUATHEIT DEST-KALKUELS58 - DER TABLEAU-KALKUEL ALS ENTSCHEIDUNGSVERFAHREN 59 IMAGE 2 V I II INHALTSVERZEICHNIS § 2 KLASSISCHE REGEL-KALKUELE UND AXIOM-REGEL-KALKUELE A , DER KALKUEL DES NATUERLICHEN SCHLIESSENS 61 - PRAEZISIERUNG DES KALKUELS 61 - GRUNDEIGENSCHAFTEN DER ABLEITUNGSRELATION 64 BEWE.SBARKEIT AUF DER GRUNDLAGE DES S-KALKUELS 67 - KONSISTENZ 68 BEWEIS DER VOLLSTAENDIGKEIT DURCH REDUKTION DES PROBLEM UF DEN T KALKUEL 69 - DER KALKUEL AK 71 § 3 DEDUKTIVE SYSTEME - EIN ZWEITER VOLLSTAENDIGKEITSBEWEIS 7 DEDUKTIVE SYSTEME 75 - DER EXISTENZSATZ FUER RELATIV MAXIMALE KTXTE M~ T* ^ ^^ 81 RDATIV M A ^ * KOMPLETTE MENGEN-ANWENDUNGEN 84 § 4 EINFUEHRUNG IN DIE THEORIE DER AROMATISCHEN SYSTEME DARSTELLUNG DEDUKTIVER SYSTEME ALS AXIOMATISCHE SYSTEME 8 8 1 DER VERBAND DER STRUKTURELLEN DEDUKTIVEN SYSTEME 91 - DIE KLASSISCHEN SIND DIE GROESSTEN I-SYSTEME 93 KLASSISCHEN § 5 LOGISCHE SYSTEME UND DER VERBAND DER L-SYSTEME Q( - S Y 8 96 O C H A ; , A K T E * ^ D E R Z ^ PASSENDEN DEDUKTIVEN SYSTEME 98 - QUASIKLASSISCHE UND HYPERKLASSISCHE SYSTEME 100 KAP. III MEHRWERTIGE LOGIK - EINFUEHRUNG IN DIE ALGEBRAISCHE SEMANTIK . 103 § 1 METHODISCHE EINFUEHRUNG ANHAND DREIWERTIGER MATRIZEN , S DREIWERTIGE LOGISCHE MATRIZEN 105 - VERALLGEMEINERUNG VON FRAGESTELLUNGEN DER KLASSISCHEN AUF DREIWERTIGE LOGIKEN 108 - ANDERE DREIWERTIGE MATRIZEN 110 § 2 DEFINITION UND ANWENDUNGEN MEHRWERTIGER MATRIZEN . . , 14 ? P E R R N E8 K, N E , R M E H R W E R T I G E N M A T R IX I 14 - ANWENDUNG AUF FRAGEN DER UNABHAENGIGKEIT UND KONSISTENZ 117 - DAS ENTSCHEIDUNGSPROBFEM UND DIE ENDLICHE MODELLEIGENSCHAFT 120 S^RODIEM § 3 ALLGEMEINE KONSTRUKTIONSPRINZIPIEN LOGISCHER MATRIZEN , EXISTENZ.VON MATRIZEN FUER LOGISCHE SYSTEME IM ENGEREN UND WEITEREN SINNE 123 - EIN VOLLSTAND.GKEITSSATZ FUER STRUKTURELLE SYSTEME 125 KONGRUENZEN UND HOMOMORPHISMEN LOGISCHER MATRIZEN 128 DIREKTE PRODUKTE 131 § 4 IMPLIKATIVE UND KONSERVATIVE LOGIKEN UND MATRIZEN , * IMPLIKATIVE LOGIKEN UND REDUZIERTE MATRIZEN 133 - VOLLSTAENDIGKEITSSATZ FUER DAS REGULAERE L-SYSTEM-R-FILTER 137 - KONSERVATIVE LOGIKEM40 POST-VOLLSTANDIGE ERWEITERUNGEN 142 IMAGE 3 INHALTSVERZEICHNIS IX § 5 MODALE UND MULTIMODALE ALGEBREN 144 KONSERVATIVE MODALLOGIKEN UND MODALALGEBREN 144 - NORMALE MODALE MATRIZEN 146 - BEISPIELE NORMALER MODALER MATRIZEN 150 - DAS REPRAESENTATIONSTHEOREM FUER KBA S 152 - DER KONGRUENZENVERBAND SUBDIREKT IRREDUZIBLE MATRIZEN 155 - ZEITLOGIK, ZEITALGEBREN UND MULTIMODALE MATRIZEN 158 KAP. IV MODAL- UND ZEITLOGIK - RELATIVISTISCHE SEMANTIK 161 § 1 RELATIVISTISCHE SEMANTIK DER MODALLOGIK 163 DEFINITION UND BEISPIELE NORMALER MODALLOGIKEN 164 - PRAEZISIERUNG DER IDEE VON DEN MOEGLICHEN WELTEN - MODELLSTRUKTUREN UND GUELTIGKEIT MODALER FORMELN 167 - KORRESPONDENZEN MODALER UND STRUKTURELLER EIGENSCHAFTEN 173 - UNTERSCHIEDLICHE MOEGLICHKEITEN DES VERSTAENDNISSES VON IMPLIKATION UND NEGATION 177 § 2 VOLLSTAENDIGKEIT DER STANDARDSYSTEME UND DAS KONZEPT DER VERALLGEMEINERTEN RELATIVISTISCHEN SEMANTIK 180 KANONISCHE MODELLSTRUKTUR, SUBSTITUTIONSLEMMA, UND DIE VOLLSTAENDIGKEIT DER STANDARDSYSTEME 180 BEZIEHUNGEN ZWISCHEN RELATIVISTISCHER UND ALGEBRAISCHER SEMANTIK 184 - BEISPIEL EINER UNVOLLSTAENDIGEN MODAL LOGIK 186 - DAS KONZEPT VERALLGEMEINERTER MODELLSTRUKTUREN UND SEINE VOLLSTAENDIGKEIT 188 § 3 MODALLOGISCHE TABLEAU-KALKIILE 192 DEFINITION MODALER TABLEAU-KALKIILE UND BEISPIELE DER VERWENDUNG 192 - ITERIERTE MODALITAETEN 195 - KORREKTHEIT DER MODALEN TABLEAU-KALKIILE UND MODELLGRAPHEN 196 - MODELLKONSTRUKTION UND ADAEQUATHEIT 200 § 4 SPEZIELLE MODELLE - FILTRATION, RAMIFIKATION UND KONTRAKTION 203 FILTRATION 203 - VOLLSTAENDIGKEIT VON G 206 - RAMIFIKATION 209 KONTRAKTIONEN 213 § 5 DER VERBAND DER ERWEITERUNGEN EINER MODALLOGIK L 216 DER VERBAND S5 216 - ALLGEMEINE EIGENSCHAFTEN VON JF 219 - SUBVERBAENDE ENDLICHER ERWEITERUNGEN 221 - SPLITTINGS 222 - DIE SPRACHE + UND DAS CHARAKTERISIERUNGSTHEOREM 228 - TABULARE UND PRAETABULARE MODALLOGIKEN 231 § 6 ZEITLOGIK UND DAS KONZEPT DER NACHBARSCHAFTSSEMANTIK 237 ZEITLOGIK 237 - BEISPIEL EINER UNVOLLSTAENDIGEN ZEITLOGIK 240 - NICHT NORMALE MODALLOGIK - AKTUELLE UND NORMALE WELTEN 242 - NACHBAR SCHAFTSSEMANTIK 243 - VERGLEICHENDE MODELLTHEORIE 246 IMAGE 4 X INHALTSVERZEICHNIS KAP. V INTUITIONISTISCHE LOGIK UND VERWANDTE LOGISCHE SYSTEME ? ^ Z S T T T F D A N L D I C H E R K 0 N S T R U K T I O -N UND SEINE * MZISIERUNG251 - RELATIVISTISCHE SEMANTIK FUER DIE MINIMALLOMLC ?5S VOLLSTAENDIGKEIT DER INTUITIONISTISCHEN UND MINIMALEN LS 257 KONSTRUKUEVER CHARAKTER DER INTUITIONISTISCHEN DISJUNKTION 259 AESW T^ FUNKT6REN 261 - ^ MODALLOGIK 264 I N T E R P R 6 T A T I ON D ER INTUITIONISTISCHEN IN DER § 2 DER INTUITIONISTISCHE TABLEAU-KALKUEL ^T^^T^ST 268 : K - E K T ^ U N D A D AE Q U A T H E IT ^ I^AIKUIS 2 12 - DER SEQUENZENKALKUEL 274 § 3 ALGEBRAISCHE SEMANTIK UND VERALLGEMEINERTE KRIPKE.SEMANTIK V , M K T U R E N 2 80 - RE PRAESENTATIONSSAETZEFUERI.ALGEBREN284 VERALLGEMEINERTE I-STRUKTUREN 286 A L G E W EN 2M ~ LANG § 4 DER VERBAND DER INTERMEDIAEREN LOGIKEN ALLGEMEINE EIGENSCHAFTEN VON K 288 - TAMKRNVC R : 2 88 S P LITTING-THEOREM289 - TABULARE UND I TI . V S L E M MA U ND D AS LOGIKEN 292 N. A U ,! ,* PRATABULARE INTERMEDIAERE - . * ?, ~ DIE ANZAHL DER ERWEITERUNGEN VON LI 296 R.IO * I FUER LOGIKEN OHNE ENDLICHE MODELLEIGENSCHAFT 299 * ~* ^ FRAGMENTE UND REDUKTE 301 6 1 G E N S C H A FT 2 ~ INTERMEDIAERE ^ E N V D T E R U R ^ ^ ES KONZEPTS DER STADIEN GEDANKLICHER KONSTRUK: ^ IZ V U~ A D A C AE U A T H E IT E INES FORMALEN SYSTEMS FUER LC 309 UEBER BEZIEHUNGEN DER FUNKTOREN IN LC 312 ~ KAP. VI ANHANG - ZUSAMMENSTELLUNG VON GRUNDBEGRIFFEN 3 14 § 1 MENGEN UND ABBILDUNGEN S R^ 315 AEKS : SSSSS^RTRR 3I V ALGEBREN 318 - RELATIONEN 320 ~ P E R A T L O N EN U ND § 2 GRAPHEN UND STRUKTUREN GRUNDBEGRIFFE UND BEZEICHNUNGEN 32L - WICHTIGE STRUKTUR- ^ EIGENSCHAFTEN UND STRUKTURKLASSEN 324 - PRAEORDNUNGEN 3 26 IMAGE 5 INHALTSVERZEICHNIS XI § 3 VERBAENDE 328 DEFINITION UND BEISPIELE VON VERBAENDEN 328 - HUELLENVERBAENDE UND ALGEBRAISCHE VERBAENDE 330 - DISTRIBUTIVE VERBAENDE 331 - IRREDUZIBLE ELEMENTE 331 - IMPLEMENTAERE VERBAENDE 332 - J-ALGEBREN UND I-ALGEBREN 333 - BOOLESCHE ALGEBREN 334 § 4 SUBALGEBREN UND KONGRUENZEN 335 DER VERBAND DER SUBALGEBREN 335 - KONGRUENZEN UND KONGRUENZ FILTER 335 - HOMOMORPHISMEN 337 - DER KONGRUENZENVERBAND 338 MAXIMALE KONGRUENZEN UND FILTER 340 VII VERZEICHNISSE 341 LITERATURVERZEICHNIS 341 SYMBOLVERZEICHNIS 350 SACH- UND NAMENSVERZEICHNIS 352
any_adam_object	1
author	Rautenberg, Wolfgang
author_facet	Rautenberg, Wolfgang
author_role	aut
author_sort	Rautenberg, Wolfgang
author_variant	w r wr
building	Verbundindex
bvnumber	BV001233270
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9
callnumber-search	QA9
callnumber-sort	QA 19
callnumber-subject	QA - Mathematics
classification_rvk	CC 2500 CC 2600 SK 130
ctrlnum	(OCoLC)611381876 (DE-599)BVBBV001233270
discipline	Mathematik Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01903nam a2200457 cb4500</leader><controlfield tag="001">BV001233270</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20161010 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890315s1979 d\|\|\| m\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3528083859</subfield><subfield code="9">3-528-08385-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783528083854</subfield><subfield code="9">978-3-528-08385-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)611381876</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001233270</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rautenberg, Wolfgang</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Klassische und nichtklassische Aussagenlogik</subfield><subfield code="c">Wolfgang Rautenberg</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Braunschweig [u.a.]</subfield><subfield code="b">Vieweg</subfield><subfield code="c">1979</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 361 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Logik und Grundlagen der Mathematik</subfield><subfield code="v">22</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Predicate calculus</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-322-85796-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Logik und Grundlagen der Mathematik</subfield><subfield code="v">22</subfield><subfield code="w">(DE-604)BV002765485</subfield><subfield code="9">22</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000742397&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000742397</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK18080656</subfield></datafield></record></collection>
genre	(DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV001233270
illustrated	Illustrated
indexdate	2024-07-09T15:25:36Z
institution	BVB
isbn	3528083859 9783528083854
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-000742397
oclc_num	611381876
open_access_boolean
owner	DE-12 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-861 DE-473 DE-BY-UBG DE-703 DE-739 DE-355 DE-BY-UBR DE-20 DE-29 DE-29T DE-M468 DE-706 DE-634 DE-83 DE-521 DE-11 DE-188
owner_facet	DE-12 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-384 DE-861 DE-473 DE-BY-UBG DE-703 DE-739 DE-355 DE-BY-UBR DE-20 DE-29 DE-29T DE-M468 DE-706 DE-634 DE-83 DE-521 DE-11 DE-188
physical	XI, 361 S. graph. Darst.
publishDate	1979
publishDateSearch	1979
publishDateSort	1979
publisher	Vieweg
record_format	marc
series	Logik und Grundlagen der Mathematik
series2	Logik und Grundlagen der Mathematik
spelling	Rautenberg, Wolfgang Verfasser aut Klassische und nichtklassische Aussagenlogik Wolfgang Rautenberg Braunschweig [u.a.] Vieweg 1979 XI, 361 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Logik und Grundlagen der Mathematik 22 Hier auch später erschienene, unveränderte Nachdrucke Predicate calculus Aussagenlogik (DE-588)4136098-9 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Aussagenlogik (DE-588)4136098-9 s DE-604 Erscheint auch als Online-Ausgabe 978-3-322-85796-5 Logik und Grundlagen der Mathematik 22 (DE-604)BV002765485 22 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000742397&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Rautenberg, Wolfgang Klassische und nichtklassische Aussagenlogik Logik und Grundlagen der Mathematik Predicate calculus Aussagenlogik (DE-588)4136098-9 gnd
subject_GND	(DE-588)4136098-9 (DE-588)4113937-9
title	Klassische und nichtklassische Aussagenlogik
title_auth	Klassische und nichtklassische Aussagenlogik
title_exact_search	Klassische und nichtklassische Aussagenlogik
title_full	Klassische und nichtklassische Aussagenlogik Wolfgang Rautenberg
title_fullStr	Klassische und nichtklassische Aussagenlogik Wolfgang Rautenberg
title_full_unstemmed	Klassische und nichtklassische Aussagenlogik Wolfgang Rautenberg
title_short	Klassische und nichtklassische Aussagenlogik
title_sort	klassische und nichtklassische aussagenlogik
topic	Predicate calculus Aussagenlogik (DE-588)4136098-9 gnd
topic_facet	Predicate calculus Aussagenlogik Hochschulschrift
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000742397&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV002765485
work_keys_str_mv	AT rautenbergwolfgang klassischeundnichtklassischeaussagenlogik

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge