Treffer 1 - 20 von 28 für Suche 'Givant, Steven', Suchdauer: 0,31s
Treffer weiter einschränken
-
1
Relation algebras von Givant, Steven R. 1943-
Veröffentlicht 2017Signatur: Wird geladen …BTU01
Standort: Wird geladen …
FHR01
FRO01
FWS01
FWS02
HTW01
TUM01
UBM01
UBT01
UBW01
UEI01
UPA01
URL des Erstveröffentlichers
Elektronisch E-Book -
2
Relation algebras von Givant, Steven R. 1943-
Veröffentlicht 2017Signatur: Wird geladen …BTU01
Standort: Wird geladen …
FHR01
FRO01
FWS01
FWS02
HTW01
TUM01
UBM01
UBT01
UBW01
UEI01
UPA01
URL des Erstveröffentlichers
Elektronisch E-Book -
3
Simple relation algebras von Givant, Steven R. 1943-
Veröffentlicht 2017Signatur: Wird geladen …BTU01
Standort: Wird geladen …
FHR01
FRO01
FWS01
FWS02
HTW01
TUM01
UBM01
UBT01
UBW01
UEI01
UPA01
URL des Erstveröffentlichers
Elektronisch E-Book -
4
Relation algebras von Givant, Steven R. 1943-
Veröffentlicht 2017Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5
Relation algebras von Givant, Steven R. 1943-
Veröffentlicht 2017Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book Wird geladen … -
6
Introduction to Boolean algebras von Givant, Steven R. 1943-, Halmos, Paul R. 1916-2006
Veröffentlicht 2009Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7
The preservation of Sahlqvist equations in completions of Boolean algebras with operators von Givant, Steven R. 1943-, Venema, Yde 1963-
Veröffentlicht 1998Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8
Logic as algebra von Halmos, Paul R. 1916-2006, Givant, Steven
Veröffentlicht 1998Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
9
A formalization of set theory without variables von Tarski, Alfred 1901-1983, Givant, Steven R. 1943-
Veröffentlicht 1988Signatur: Wird geladen …UBM01
Standort: Wird geladen …
URL des Erstveröffentlichers
Elektronisch E-Book -
10
Alfred Tarski collected papers von Givant, Steven R. 1943-
Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11
Relation algebras von Givant, Steven R. 1943-
Veröffentlicht 2017Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
12
Duality theories for Boolean algebras with operators von Givant, Steven R. 1943-
Veröffentlicht 2014Signatur: Wird geladen …
Standort: Wird geladen …
VolltextBuch -
13
Duality theories for Boolean algebras with operators von Givant, Steven R. 1943-
Veröffentlicht 2014Signatur: Wird geladen …BTU01
Standort: Wird geladen …
FRO01
TUM01
UBA01
UBM01
UBT01
UBW01
UPA01
Volltext
Inhaltsverzeichnis
Abstract
Elektronisch E-Book -
14
The structure of relation algebras generated by relativizations von Givant, Steven R. 1943-
Veröffentlicht 1994Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
15
Alfred Tarski collected papers von Givant, Steven R. 1943-
Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16
Alfred Tarski collected papers von Givant, Steven R. 1943-
Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
17
Simple Relation Algebras von Givant, Steven R. 1943-, Andréka, Hajnal 1947-
Veröffentlicht 2017Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
18
Relation algebras von Givant, Steven R. 1943-
Veröffentlicht 2017Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19
Relation algebras von Givant, Steven R. 1943-
Veröffentlicht 2017Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
20
Relation algebras von Givant, Steven R. 1943-
Veröffentlicht 2017Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …
Suchwerkzeuge:
Ähnliche Schlagworte
Mathematische Logik
Algebra
Axiomatische Mengenlehre
Logic, Symbolic and mathematical
Mathematical Logic and Foundations
Mathematical logic
Mathematics
Mengenlehre
Logique symbolique et mathématique
Relation algebras
Relationenalgebra
Set theory
Booleaanse algebra
Boolesche Algebra
Boolescher Verband
General Algebraic Systems
Lehrbuch
Mathematik
Algebra Associativa
Algebra, Boolean
Algèbres des relations
Decidability (Mathematical logic)
Ensembles, Théorie des
Entscheidbarkeit
Filosofia e fundamentos da matematica
Logica
Logica matematica
Logik
Matematica (Estudo E Ensino)
Relaties (logica)