UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 337

Sortiert nach

Die Widerspruchsfreiheit der reinen Zahlentheorie

Libelli : 185 (Alle Bände)

Gentzen, Gerhard

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

Signatur: M6800

The ways of paradox and other essays

Quine, W. V

Rev. and enl. ed, 1976

Signatur: TCL2680

Victoria Symposium on Nonstandard Analysis : University of Victoria 1972

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

1974

Signatur: TCL2185

Varieties of constructive mathematics

London Mathematical Society lecture note series : 97 (Alle Bände)

1987

Signatur: TCL3547

Valuation theory in interaction

EMS series of congress reports

2014

Signatur: TAY110129

UNVOLLSTAENDIGKEIT UND UNENTSCHEIDBARKEIT. DIE MATH. RESULTATE VON GOEDEL, CHURCH, KLEENE, ROSSER U. IHRE ERKENNTNISTHEORET. BEDEUTUNG

Stegmüller, Wolfgang

3., verb. Aufl, 1973

Signatur: TCL2258(3)

Untersuchungen über den Modalkalkül

Becker, Oskar

1952

Signatur: TCL2630

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

Deiser, Oliver

1999

Signatur: DQ2264

The unprovability of consistency : an essay in modal logic

Boolos, George

1979

Signatur: TCL2981

Understanding mathematical proof

2014

Signatur: TCL4886

Undecidable theories

STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS.

3. pr, 1971

Signatur: TCL1171

Undecidable theories

Studies in logic and the foundations of mathematics

Tarski, Alfred

3. print, 1971

Signatur: M19218

Uncountably categorical theories

Translations of mathematical monographs : 117 (Alle Bände)

Zilber, Boris

1993

Signatur: TCL4056

The uncertain reasoner's companion : a mathematical perspective

Cambridge tracts in theoretical computer science : 39 (Alle Bände)

Paris, Jeff B

1994

Signatur: TCL4357

Uncertain logics, variables and systems

Lecture notes in control and information sciences : 276 (Alle Bände), Engineering online library

Bubnicki, Zdzislaw

2002

Signatur: TCL4690

Ultraproducts of omega-groups (omega groups)

Dissertationen der Johannes-Kepler-Universität Linz : 56 (Alle Bände)

Fuchs, Peter

1986

Signatur: TCL3482

Truth, syntax, and modality : proceedings of the Temple University Conference on Alternative Semantics

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

Leblanc, Hugues[Herausgeber]

1973

Signatur: TCL1359

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

Truth value semantics

Leblanc, Hugues

1976

Signatur: TCL2339

Truth functions and the problem of their realization by two-terminal graphs

Ádám, András

1968

Signatur: TCL2127

Topology via logic

Cambridge tracts in theoretical computer science : 5 (Alle Bände)

Vickers, Steven

1989

Signatur: TCX1901

Topological model theory

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

1980

Signatur: TCL3034

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

Topics in conditional logic

Philosophical studies series in philosophy : 20 (Alle Bände)

Nute, Donald

1980

Signatur: TCL3115

Theory of relations

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

Fraïssé, Roland

1986

Signatur: TCL3458

1 – 25 von 337

Suche als RSS-Feed

Aktive Filter

Art des InhaltsNicht angegeben

Neu hinzugefügt... in den letzten 3 Monaten

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(337)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(337)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

... in den letzten 12 Monaten
(0)
... im letzten Monat
(0)

Sprache

Systemstelle

TCL
(337)
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)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Die Widerspruchsfreiheit der reinen Zahlentheorie

The ways of paradox and other essays

Victoria Symposium on Nonstandard Analysis : University of Victoria 1972

Varieties of constructive mathematics

Valuation theory in interaction

UNVOLLSTAENDIGKEIT UND UNENTSCHEIDBARKEIT. DIE MATH. RESULTATE VON GOEDEL, CHURCH, KLEENE, ROSSER U. IHRE ERKENNTNISTHEORET. BEDEUTUNG

Untersuchungen über den Modalkalkül

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

The unprovability of consistency : an essay in modal logic

Understanding mathematical proof

Undecidable theories

Undecidable theories

Uncountably categorical theories

The uncertain reasoner's companion : a mathematical perspective

Uncertain logics, variables and systems

Ultraproducts of omega-groups (omega groups)

Truth, syntax, and modality : proceedings of the Temple University Conference on Alternative Semantics

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

Truth value semantics

Truth functions and the problem of their realization by two-terminal graphs

Topology via logic

Topological model theory

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

Topics in conditional logic

Theory of relations

Aktive Filter

Suchergebnisse filtern