UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 25

Sortiert nach

Proof theory and intuitionistic systems

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

Scarpellini, Bruno

1971

Signatur: TCL1032

Cylindric set algebras

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

1981

Signatur: TCL3165

Term logic with choice operator

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

Hermes, Hans

Rev. and enl. transl. of the 1. German ed, 1970

Signatur: TCL1040

Principles of intuitionism : lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY

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

Troelstra, Anne S

1969

Signatur: TCL1058

Computations in higher types

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

Moldestad, Johan

1977

Signatur: TCL2428

ISILC PROOF THEORY SYMPOSIUM. ED. BY J. DILLER AND G. H. MUELLER. DEDICATED TO KURT SCHUETTE ON THE OCCASION OF HIS 65TH BIRTHDAY. PROCEEDINGS OF THE INTERNATIONAL SUMMER INSTITUTE AND LOGIC COLLOQUIUM, KIEL 1974

LECTURE NOTES IN MATHEMATICS. 500. : 500 (Alle Bände)

1975

Signatur: TCL2046

The axiom of constructibility : a guide for the mathematician

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

Devlin, Keith J

1977

Signatur: TCL2664

Recursion on the countable functionals

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

Normann, Dag

1980

Signatur: TCL3092

Nonstandard analysis : a practical guide with applications

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

1981

Signatur: TCL3157

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies

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

Buchholz, Wilfried

1981

Signatur: TCL3173

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

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

1967

Signatur: TCL1008

The syntax and semantics of infinitary languages

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

Barwise, Jon[Herausgeber]

1968

Signatur: TCL1024

The computational complexity of logical theories

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

1979

Signatur: TCL2973

Degrees of unsolvability : structure and theory

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

Epstein, Richard L

1979

Signatur: TCL3018

Topological model theory

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

1980

Signatur: TCL3034

Aspects of constructibility

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

Devlin, Keith J

1973

Signatur: TCL1147

Victoria Symposium on Nonstandard Analysis : University of Victoria 1972

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

1974

Signatur: TCL2185

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

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

Luckhardt, Horst

1973

Signatur: TCL2216

Injective choice functions

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

1987

Signatur: TCL3505

Techniques of admissible recursion theory

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

Chong, Chi-Tat

1984

Signatur: TCL3343

Around classification theory of models

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

Shelah, Saharon

1986

Signatur: TCL3466

Proof theory : an introduction

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

Pohlers, Wolfram

1989

Signatur: TCL3725

Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012

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

2014

Signatur: TAY120035

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

Büchi's monadic second order successor arithmetic

Lecture notes in mathematics : 120 (Alle Bände), Decidable theories : 1 (Alle Bände)

Siefkes, Dirk

1970

Signatur: TCL2745

1 – 25 von 25

Suche als RSS-Feed

Aktive Filter

SystemstelleTCL

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(25)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(25)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(16)
Deutsch
(2)

Systemstelle

TAY
(1)

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Proof theory and intuitionistic systems

Cylindric set algebras

Term logic with choice operator

Principles of intuitionism : lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY

Computations in higher types

ISILC PROOF THEORY SYMPOSIUM. ED. BY J. DILLER AND G. H. MUELLER. DEDICATED TO KURT SCHUETTE ON THE OCCASION OF HIS 65TH BIRTHDAY. PROCEEDINGS OF THE INTERNATIONAL SUMMER INSTITUTE AND LOGIC COLLOQUIUM, KIEL 1974

The axiom of constructibility : a guide for the mathematician

Recursion on the countable functionals

Nonstandard analysis : a practical guide with applications

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies

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

The syntax and semantics of infinitary languages

The computational complexity of logical theories

Degrees of unsolvability : structure and theory

Topological model theory

Aspects of constructibility

Victoria Symposium on Nonstandard Analysis : University of Victoria 1972

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

Injective choice functions

Techniques of admissible recursion theory

Around classification theory of models

Proof theory : an introduction

Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012

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

Büchi's monadic second order successor arithmetic

Aktive Filter

Suchergebnisse filtern