UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 45

Sortiert nach

Directions in relevant logic

Reason and argument : 1 (Alle Bände)

Norman, Jean[Herausgeber]

1989

Signatur: TCL3759

Entailment : the logic of relevance and necessity. 1 / by Alan Ross Anderson and Nuel D. Belnap

Entailment (Alle Bände)

1975

Signatur: TCL2038-1

Einführung in die mathematische Logik. 2. Prädikatenkalkül der ersten Stufe

Einführung in die mathematische Logik (Alle Bände)

Asser, Günter

1972

Signatur: TCL2088-2

Automated development of fundamental mathematical theories

Automated reasoning series : 2 (Alle Bände)

Quaife, Art

1992

Signatur: TCL4006

Einführung in die mathematische Logik. 3. Prädikatenlogik höherer Stufe

Einführung in die mathematische Logik (Alle Bände)

Asser, Günter

1981

Signatur: TCL2088-3

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic

Synthese library : 4 (Alle Bände)

Beth, Evert Willem

1962

Signatur: TCL1723

Formal number theory and computability : a workbook

Oxford logic guides : 7 (Alle Bände), Oxford science publications

Fisher, Alec

1982

Signatur: TCL3288

Komplexe Logik : Grundlagen einer logischen Theorie des Wissens

Logik und Grundlagen der Mathematik : 7 (Alle Bände)

Zinovʹev, Aleksandr Aleksandrovič

1970

Signatur: TCL1139

STUDIES IN ALGEBRAIC LOGIC. ED. AUBERT DAIGNEAULT

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

Daigneault, Aubert

1974

Signatur: TCL2949

Algorithmen und rekursive Funktionen

Logik und Grundlagen der Mathematik : 13 (Alle Bände)

Malʹcev, Anatolij I

1974

Signatur: TCL1430

Foundations without foundationalism : a case for second order logic

Oxford logic guides; 17 : 17 (Alle Bände)

Shapiro, Stewart

1991

Signatur: TCL3898

An algebraic introduction to mathematical logic

Graduate texts in mathematics : 22 (Alle Bände)

1975

Signatur: TCL1715

Aspects of definability

Acta philosophica Fennica : 29,2,3 (Alle Bände)

Rantala, Veikko

1977

Signatur: M38134

A course in mathematical logic

Graduate texts in mathematics : 53 (Alle Bände)

Manin, Jurij I

1977

Signatur: TCL2711

A course in mathematical logic for mathematicians

Graduate texts in mathematics : 53 (Alle Bände)

2. ed, 2010

Signatur: TCL2711(2)

Einführung in die mathematische Logik und Modelltheorie

Vieweg-Studium : 60 (Alle Bände)

Prestel, Alexander

1986

Signatur: TCL3490

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

An algebraic approach to non-classical logics

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

Rasiowa, Helena

1974

Signatur: TCL1252

Proof theory

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

Takeuti, Gaisi

2. ed, 1987

Signatur: TCL3555(2)

Proof theory

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

Takeuti, Gaisi

1975

Signatur: TCL2004

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)

2020

Signatur: TCL4894

Analysis and logic

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

2002

Signatur: TCL4755

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

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

Luckhardt, Horst

1973

Signatur: TCL2216

Closure spaces and logic

Mathematics and its applications : 369 (Alle Bände)

1996

Signatur: TCL4593

The computational complexity of logical theories

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

1979

Signatur: TCL2973

1 – 25 von 45

Suche als RSS-Feed

Aktive Filter

SchlagwortMathematische Logik

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(45)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(45)

Schlagwort

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(27)
Deutsch
(8)

Systemstelle

TCL
(45)
HIN
(1)
HLH
(1)
TBP
(1)
TVD
(1)

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Directions in relevant logic

Entailment : the logic of relevance and necessity. 1 / by Alan Ross Anderson and Nuel D. Belnap

Einführung in die mathematische Logik. 2. Prädikatenkalkül der ersten Stufe

Automated development of fundamental mathematical theories

Einführung in die mathematische Logik. 3. Prädikatenlogik höherer Stufe

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic

Formal number theory and computability : a workbook

Komplexe Logik : Grundlagen einer logischen Theorie des Wissens

STUDIES IN ALGEBRAIC LOGIC. ED. AUBERT DAIGNEAULT

Algorithmen und rekursive Funktionen

Foundations without foundationalism : a case for second order logic

An algebraic introduction to mathematical logic

Aspects of definability

A course in mathematical logic

A course in mathematical logic for mathematicians

Einführung in die mathematische Logik und Modelltheorie

Logic in algebraic form : three languages and theories

An algebraic approach to non-classical logics

Proof theory

Proof theory

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

Analysis and logic

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

Closure spaces and logic

The computational complexity of logical theories

Aktive Filter

Suchergebnisse filtern