UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 47

Sortiert nach

Rekursive Funktionen

1977

Signatur: TCL2672

Grundlagen der Logik von Wertungen

vom Autor erw. Fassung, 1975

Signatur: TCL2460

Modelltheorie. 1

Modelltheorie (Alle Bände), BI-Hochschulskripten : 813,a (Alle Bände)

Schwabhäuser, Wolfram

1971

Signatur: TCL1456-1

Modelltheorie. 2

Modelltheorie (Alle Bände), BI-Hochschultaschenbücher : 815 (Alle Bände)

Schwabhäuser, Wolfram

1972

Signatur: TCL1456-2

Mehrwertige Ordnungsfunktionen

Hamburger mathematische Einzelschriften : NF,3 (Alle Bände)

Junkers, Wilhelm

1971

Signatur: TGG1287

Temporal logic

Library of exact philosophy : 3 (Alle Bände)

1971

Signatur: TCL2729

Implizit definierte Mengensysteme

Bonner mathematische Schriften : 148 (Alle Bände)

Leiß, Hans

1983

Signatur: TCL3262

Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie

Ergebnisse der Mathematik und ihrer Grenzgebiete : A,3,4 (Alle Bände)

Heyting, Arend

Reprint [d. Ausg.] Berlin 1934, 1974

Signatur: TCL1244

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

Heidelberger Taschenbücher : 87 (Alle Bände)

Hermes, Hans

2. Aufl, 1971

Signatur: TCL1016(2)

The syntax and semantics of infinitary languages

Lecture notes in mathematics : 72 (Alle Bände)

Barwise, Jon[Herausgeber]

1968

Signatur: TCL1024

Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms

Lecture notes in mathematics : 37 (Alle Bände)

1967

Signatur: TCL1008

Studia logico-mathematica et philosophica : in honorem Rolf Nevanlinna die natali eius septuagesimo 22.10.1965

Acta philosophica Fennica : 18 (Alle Bände)

Nevanlinna, Rolf Herman[Gefeierter]

1965

Signatur: M38128

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

Heidelberger Taschenbücher : 87 (Alle Bände)

Hermes, Hans

3. Aufl, 1978

Signatur: TCL3026(3)

Aussagenlogik : eine leicht verständliche Einführung in elementare Probleme der modernen Logik

Programm moderne Mathematik

Schick, Karl

2. Aufl, 1974

Signatur: TCL1391(2)

Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie

Hochschultext

1972

Signatur: TCL2240

Einführung in die Modelltheorie und ihre Anwendungen

Die Mathematik

Potthoff, Klaus

1981

Signatur: TCL3131

Mehrwertige Logik : eine Einführung in Theorie und Anwendungen

Logica nova

Gottwald, Siegfried

1989

Signatur: HLH2517

Modelltheorie

BI-Hochschulskripten : ...

Schwabhäuser, Wolfram

Signatur: TCL1456-...

Many valued logics

1992-

Signatur: TCL3995-...

Beweistheorie

Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete : 103 (Alle Bände)

Schütte, Kurt

1960

Signatur: TCL2583

Mustergesteuerte Strategien für das Beweisen von Gleichungen

Hutter, Dieter

[1995]

Signatur: D10172

Der Operationskreis des Logikkalkuls

Libelli : 87 (Alle Bände)

Schröder, Ernst

Sonderausg., unveränd. reprograf. Neudr. der Ausg. Leipzig 1877, 1966

Signatur: M7224

Untersuchungen über das Kernmodell für Maße der Ordnung Null

Deiser, Oliver

1999

Signatur: DQ2264

Fuzzy control : Theorie und Industrieeinsatz

Börcsök, Josef

1. Aufl, 2000

Signatur: WGD1875

Die Widerspruchsfreiheit der reinen Zahlentheorie

Libelli : 185 (Alle Bände)

Gentzen, Gerhard

Sonderausg., unveränd. reprogr. Nachdr. von 1935, 1967

Signatur: M6800

1 – 25 von 47

Suche als RSS-Feed

Aktive Filter

Autor / AutorinAsser, Günter

SpracheDeutsch

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(47)

Autor / Autorin

Hermes, Hans
(3)
Schwabhäuser, Wolfram
(3)
Bolc, Leonard
(2)
Borowik, Piotr
(2)
Wessel, Horst
(2)
Zinovʹev, Aleksandr Aleksandrovič
(2)
Barwise, Jon
(1)
Becker, Oskar
(1)
Belnap, Nuel D
(1)
Bothe, Hans-Heinrich
(1)
Börcsök, Josef
(1)
Colloquium on Modal and Many Valued Logics
(1)
Cresswell, Maxwell J
(1)
Deiser, Oliver
(1)
Ganter, Bernhard
(1)
Gentzen, Gerhard
(1)
Gottwald, Siegfried
(1)
Hara, Yoshio
(1)
Heidler, Klaus
(1)
Heindorf, Lutz
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(47)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(2)
Französisch
(2)

Systemstelle

TCL
(47)
HIN
(2)
HLH
(2)
TAXN
(1)
TAY
(1)
TCO
(1)
TGG
(1)
WFM
(1)
WGA
(1)
WGD
(1)
WGI
(1)

6 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Rekursive Funktionen

Grundlagen der Logik von Wertungen

Modelltheorie. 1

Modelltheorie. 2

Mehrwertige Ordnungsfunktionen

Temporal logic

Implizit definierte Mengensysteme

Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

The syntax and semantics of infinitary languages

Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms

Studia logico-mathematica et philosophica : in honorem Rolf Nevanlinna die natali eius septuagesimo 22.10.1965

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

Aussagenlogik : eine leicht verständliche Einführung in elementare Probleme der modernen Logik

Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie

Einführung in die Modelltheorie und ihre Anwendungen

Mehrwertige Logik : eine Einführung in Theorie und Anwendungen

Modelltheorie

Many valued logics

Beweistheorie

Mustergesteuerte Strategien für das Beweisen von Gleichungen

Der Operationskreis des Logikkalkuls

Untersuchungen über das Kernmodell für Maße der Ordnung Null

Fuzzy control : Theorie und Industrieeinsatz

Die Widerspruchsfreiheit der reinen Zahlentheorie

Aktive Filter

Suchergebnisse filtern