UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 27

Sortiert nach

An algebraic approach to non-classical logics

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

Rasiowa, Helena

1974

Signatur: TCL1252

Degrees of unsolvability : structure and theory

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

Epstein, Richard L

1979

Signatur: TCL3018

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 introduction to mathematical logic

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

1975

Signatur: TCL1715

Mathematical logic and Hilbert's Epsilon-Symbol

Leisenring, Albert C

1969

Signatur: TCL2834

Algebraic methods of mathematical logic

Rieger, Ladislav

1967

Signatur: TCL1082

Symbolic logic

Thomas, James A

1977

Signatur: TCL2931

The theory of logical types

Monographs in modern logic series

Copi, Irving M

1971

Signatur: TCL1765

Proof theory

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

Takeuti, Gaisi

2. ed, 1987

Signatur: TCL3555(2)

Deducibility and decidability

Gill, R. R

1990

Signatur: TCL3848

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

Entailment (Alle Bände)

1975

Signatur: TCL2038-1

Foundations without foundationalism : a case for second order logic

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

Shapiro, Stewart

1991

Signatur: TCL3898

Closure spaces and logic

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

1996

Signatur: TCL4593

The incompleteness phenomenon : a new course in mathematical logic

1995

Signatur: TCL4420

Set theory, logic and their limitations

Machover, Moshé

1996

Signatur: TCL4438

Aspects of definability

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

Rantala, Veikko

1977

Signatur: M38134

Analysis and logic

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

2002

Signatur: TCL4755

In the light of logic

Logic and computation in philosophy

Feferman, Solomon

1998

Signatur: TBP4086

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

Subsystems of second order arithmetic

Perspectives in mathematical logic

Simpson, Stephen G

1999

Signatur: TCL4640

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 functions and the problem of their realization by two-terminal graphs

Ádám, András

1968

Signatur: TCL2127

The computational complexity of logical theories

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

1979

Signatur: TCL2973

Essentials of symbolic logic

Simpson, R. L

1988

Signatur: TCL3694

A course in mathematical logic for mathematicians

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

2. ed, 2010

Signatur: TCL2711(2)

1 – 25 von 27

Suche als RSS-Feed

Aktive Filter

SpracheEnglisch

SchlagwortMathematische Logik

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(27)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(27)

Schlagwort

14 weitere anzeigen...