Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik [electronic resource] /

Stegmüller, Wolfgang. author.; Kibéd, Matthias Varga von. author.; SpringerLink (Online service)

Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik [electronic resource] /

Einleitung: Inhaltsübersicht -- 1. Vorbereitungen -- 1.1 Logische und semiotische Präliminarien -- 1.2 Zur Bezeichnungsweise und Symbolik -- 1.3 Grundbegriffe der Mengenlehre -- I. Logik -- 2. Junktoren -- 3. Quantoren -- 4. Kalküle -- 5. Semantiken: Spielarten der denotationellen und nicht-denotationellen.

Saved in:

Bibliographic Details
Main Authors:	Stegmüller, Wolfgang. author., Kibéd, Matthias Varga von. author., SpringerLink (Online service)
Format:	Texto biblioteca
Language:	ger
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1984
Subjects:	Mathematics., Mathematical logic., Mathematical Logic and Foundations.,
Online Access:	http://dx.doi.org/10.1007/978-3-642-61724-9
Tags:	Add Tag No Tags, Be the first to tag this record!

id	KOHA-OAI-TEST:171573
record_format	koha
spelling	KOHA-OAI-TEST:1715732018-07-30T22:48:36ZJunktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik [electronic resource] / Stegmüller, Wolfgang. author. Kibéd, Matthias Varga von. author. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1984.gerEinleitung: Inhaltsübersicht -- 1. Vorbereitungen -- 1.1 Logische und semiotische Präliminarien -- 1.2 Zur Bezeichnungsweise und Symbolik -- 1.3 Grundbegriffe der Mengenlehre -- I. Logik -- 2. Junktoren -- 3. Quantoren -- 4. Kalküle -- 5. Semantiken: Spielarten der denotationellen und nicht-denotationellen.Mathematics.Mathematical logic.Mathematics.Mathematical Logic and Foundations.Springer eBookshttp://dx.doi.org/10.1007/978-3-642-61724-9URN:ISBN:9783642617249
institution	COLPOS
collection	Koha
country	México
countrycode	MX
component	Bibliográfico
access	En linea En linea
databasecode	cat-colpos
tag	biblioteca
region	America del Norte
libraryname	Departamento de documentación y biblioteca de COLPOS
language	ger
topic	Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations.
spellingShingle	Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Stegmüller, Wolfgang. author. Kibéd, Matthias Varga von. author. SpringerLink (Online service) Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik [electronic resource] /
description	Einleitung: Inhaltsübersicht -- 1. Vorbereitungen -- 1.1 Logische und semiotische Präliminarien -- 1.2 Zur Bezeichnungsweise und Symbolik -- 1.3 Grundbegriffe der Mengenlehre -- I. Logik -- 2. Junktoren -- 3. Quantoren -- 4. Kalküle -- 5. Semantiken: Spielarten der denotationellen und nicht-denotationellen.
format	Texto
topic_facet	Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations.
author	Stegmüller, Wolfgang. author. Kibéd, Matthias Varga von. author. SpringerLink (Online service)
author_facet	Stegmüller, Wolfgang. author. Kibéd, Matthias Varga von. author. SpringerLink (Online service)
author_sort	Stegmüller, Wolfgang. author.
title	Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik [electronic resource] /
title_short	Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik [electronic resource] /
title_full	Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik [electronic resource] /
title_fullStr	Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik [electronic resource] /
title_full_unstemmed	Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik [electronic resource] /
title_sort	junktoren und quantoren. baumverfahren. sequenzenlogik. dialogspiele. axiomatik. natürliches schließen. kalkül der positiv- und negativteile. spielarten der semantik [electronic resource] /
publisher	Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate	1984
url	http://dx.doi.org/10.1007/978-3-642-61724-9
work_keys_str_mv	AT stegmullerwolfgangauthor junktorenundquantorenbaumverfahrensequenzenlogikdialogspieleaxiomatiknaturlichesschließenkalkulderpositivundnegativteilespielartendersemantikelectronicresource AT kibedmatthiasvargavonauthor junktorenundquantorenbaumverfahrensequenzenlogikdialogspieleaxiomatiknaturlichesschließenkalkulderpositivundnegativteilespielartendersemantikelectronicresource AT springerlinkonlineservice junktorenundquantorenbaumverfahrensequenzenlogikdialogspieleaxiomatiknaturlichesschließenkalkulderpositivundnegativteilespielartendersemantikelectronicresource
_version_	1756263470920105984

Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik [electronic resource] /

Similar Items

Resource Map