UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 45

Sortiert nach

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

A course in mathematical logic for mathematicians

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

2. ed, 2010

Signatur: TCL2711(2)

Analysis and logic

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

2002

Signatur: TCL4755

Subsystems of second order arithmetic

Perspectives in mathematical logic

Simpson, Stephen G

1999

Signatur: TCL4640

In the light of logic

Logic and computation in philosophy

Feferman, Solomon

1998

Signatur: TBP4086

Set theory, logic and their limitations

Machover, Moshé

1996

Signatur: TCL4438

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

Automated development of fundamental mathematical theories

Automated reasoning series : 2 (Alle Bände)

Quaife, Art

1992

Signatur: TCL4006

Foundations without foundationalism : a case for second order logic

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

Shapiro, Stewart

1991

Signatur: TCL3898

Deducibility and decidability

Gill, R. R

1990

Signatur: TCL3848

Directions in relevant logic

Reason and argument : 1 (Alle Bände)

Norman, Jean[Herausgeber]

1989

Signatur: TCL3759

Essentials of symbolic logic

Simpson, R. L

1988

Signatur: TCL3694

Proof theory

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

Takeuti, Gaisi

2. ed, 1987

Signatur: TCL3555(2)

Deduction : introductory symbolic logic

Bonevac, Daniel A

1. [Dr.], 1987

Signatur: TCL3717

An introduction to mathematical logic and type theory : to truth through proof

Computer science and applied mathematics

Andrews, Peter B

1. [Dr.], 1986

Signatur: TCL3571

Einführung in die mathematische Logik und Modelltheorie

Vieweg-Studium : 60 (Alle Bände)

Prestel, Alexander

1986

Signatur: TCL3490

Formal number theory and computability : a workbook

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

Fisher, Alec

1982

Signatur: TCL3288

Elements of logic and foundations of mathematics in problems

1982

Signatur: TCL3254

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

Degrees of unsolvability : structure and theory

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

Epstein, Richard L

1979

Signatur: TCL3018

The computational complexity of logical theories

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

1979

Signatur: TCL2973

Recursion theoretic hierarchies

Perspectives in mathematical logic

Hinman, Peter G

1978

Signatur: TCL2800

Symbolic logic

Thomas, James A

1977

Signatur: TCL2931

Aspects of definability

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

Rantala, Veikko

1977

Signatur: M38134

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...