UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 359

Sortiert nach

Fuzzy control : Theorie und Industrieeinsatz

Börcsök, Josef

2000

Signatur: WGD1875

Logic in algebraic form : three languages and theories

Studies in logic and the foundations of mathematics : 72 (Alle Bände)

Craig, William

1974

Signatur: TCL2101

Topics in set theory : Lebesgue measurability, large cardinals, forcing axioms, rho functions

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

Bekkali, Mohamed

1991

Signatur: TCL3864

Logic and proof

Bittinger, Marvin L

1970

Signatur: TCL1650

STUDIES IN ALGEBRAIC LOGIC. ED. AUBERT DAIGNEAULT

STUDIES IN MATHEMATICS. 9. : 9 (Alle Bände)

Daigneault, Aubert

1974

Signatur: TCL2949

Discrete and switching functions

Advanced book program

Davio, Marc;Deschamps, Jean-Pierre;Thayse, André

1978

Signatur: TCL2761

Essential stability theory

Perspectives in mathematical logic

Buechler, Steven

1996

Signatur: TCL4470

THE PROBLEM OF INDUCTIVE LOGIC. ED

STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS.

Lakatos, Imre

1968

Signatur: TCL1189

A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability

Annals of mathematics studies : 206 (Alle Bände)

Downey, R. G;Greenberg, Noam

2020

Signatur: TCL4894

Automated theorem-proving in non-classical logics

Research notes in theoretical computer science

Thistlewaite, Paul B;McRobbie, Michael A;Meyer, Robert K

1988

Signatur: TCL3652

How to prove it : a structured approach

Velleman, Daniel J

2006

Signatur: TCL4797(2)

Modelltheorie. 2

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

Schwabhäuser, Wolfram

1972

Signatur: TCL1456-2

Logic and arithmetic. 2. Rational and irrational numbers

Logic and arithmetic (Alle Bände)

Bostock, David

1979

Signatur: TCL1799-2

Sobre proposiciones formalmente indecidibles de los principia mathematica y sistemas afines

Cuadernos Teorema : ...

Gödel, Kurt

1981-

Signatur: TCL3123-...

Relative category theory and geometric morphisms : a logical approach

Oxford logic guides : 16 (Alle Bände)

Chapman, Jonathan;Rowbottom, Frederick

1992

Signatur: TCL3903

Extensional Gödel functional interpretation : a consistency proof of classical analysis

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

Luckhardt, Horst

1973

Signatur: TCL2216

Truth, possibility and probability : new logical foundations of probability and statistical inference

North Holland mathematics studies : 166 (Alle Bände)

Chuaqui, Rolando

1991

Signatur: TCL3872

The computational complexity of logical theories

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

Ferrante, Jeanne;Rackoff, Charles W

1979

Signatur: TCL2973

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

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

Jensen, Ronald Björn;Leven, Franz J

1967

Signatur: TCL1008

Der Operationskreis des Logikkalkuls

Libelli : 87 (Alle Bände)

Schröder, Ernst

1966

Signatur: M7224

Undecidable theories

Studies in logic and the foundations of mathematics

Tarski, Alfred

1971

Signatur: M19218

The incompleteness phenomenon : a new course in mathematical logic

Goldstern, Martin;Judah, Haim

1995

Signatur: TCL4420

The syntax and semantics of infinitary languages

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

Barwise, Jon[Herausgeber]

1968

Signatur: TCL1024

The principles of inductive logic

Chelsea scientific books : 265 (Alle Bände)

Venn, John

1973

Signatur: TCL1901(2)

A general algebraic semantics for sentenial logics

Lecture notes in logic : 7 (Alle Bände)

Font, Josep Maria;Jansana, Ramon

1996

Signatur: TCL4519

1 – 25 von 359

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(359)

Autor / Autorin

Erscheinungsform

Buch
(359)

Schlagwort

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Weniger anzeigen...

Systemstelle

TCL
(359)
HLH
(4)
HIN
(3)
TAY
(3)
TVD
(3)
TBP
(2)
TVC
(2)
TAXN
(1)
TCO
(1)
TCX
(1)
TDW
(1)
TGG
(1)
TGW
(1)
TVA
(1)
TVI
(1)
TVM
(1)
TVU
(1)
WFM
(1)
WGA
(1)
WGD
(1)

Art des Inhalts