UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 213

Sortiert nach

Classical recursion theory

Studies in logic and the foundations of mathematics : ...

Odifreddi, Piergiorgio

Signatur: TCL3686-...

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

Entailment (Alle Bände)

1975

Signatur: TCL2038-1

Aleph-zero-categoricity over a predicate

Villemaire, Roger

1988

Signatur: D442

Metalogic : an introd. to the metatheory of standard first order logic

Hunter, Geoffrey

1971

Signatur: TCL2622

An introduction to modal logic

Reprint. with corr, 1972

Signatur: TCL1595

Fuzzy sets and their applications to cognitive and decision processes : proceedings of the US Japan Seminar on Fuzzy Sets and Their Applications, held at the University of California, Berkeley, California, July 1 - 4, 1974

Academic Press rapid manuscript reproduction

Zadeh, Lotfi A[Herausgeber]

1975

Signatur: TCL1846

General recursion theory : an axiomatic approach

Perspectives in mathematical logic

Fenstad, Jens Erik

1980

Signatur: TCL3084

Formal systems and recursive functions : proceedings of the 8. Logic Colloquium, Oxford, July 1963

Studies in logic and the foundations of mathematics

Crossley, John N[Herausgeber]

1965

Signatur: TCL2208

Precision, language and logic

George, Frank H

1. ed, 1977

Signatur: TCL2614

An introduction to mathematical modeling

A WILEY-INTERSCIENCE PUBLICATION

Bender, Edward A

1978

Signatur: TCL2876

Admissible sets and structures : an approach to definability theory

Perspectives in mathematical logic

Barwise, Jon

1975

Signatur: TCL2282

The unprovability of consistency : an essay in modal logic

Boolos, George

1979

Signatur: TCL2981

Discrete and switching functions

Advanced book program

1978

Signatur: TCL2761

Modal logic : an introduction

Chellas, Brian F

1980

Signatur: TCL3050

A resolution calculus for modal logics

Ohlbach, Hans J

1988

Signatur: D414

Constructibility

Perspectives in mathematical logic

Devlin, Keith J

1984

Signatur: TCL3335

Around classification theory of models

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

Shelah, Saharon

1986

Signatur: TCL3466

Automated theorem proving

Bibel, Wolfgang

1982

Signatur: TCL3246

Combinatorial set theory : partition relations for cardinals

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

Erdös, Paul

1984

Signatur: TCL3319

Degrees of unsolvability : local and global theory

Perspectives in mathematical logic

Lerman, Manuel

1983

Signatur: TCL3296

Self-reference and modal logic

Universitext

Smoryński, Craig

1. [Dr.], 1985

Signatur: TCL3440

Generalized recursion theory : proceedings of the ... Oslo Symposium

Fenstad, Jens Erik[Herausgeber]

1974-

Signatur: TCL2119-...

Generalized recursion theory : proceedings of the ... Oslo Symposium. 1. Proceedings of the 1972 Oslo Symposium

Generalized recursion theory (Alle Bände), Studies in logic and the foundations of mathematics : 79 (Alle Bände)

Fenstad, Jens Erik[Herausgeber]

1974

Signatur: TCL2119-1

Generalized recursion theory : proceedings of the ... Oslo Symposium. 2. Proceedings of the 1977 Oslo symposium

Generalized recursion theory (Alle Bände), Studies in logic and the foundations of mathematics : 94 (Alle Bände)

Fenstad, Jens Erik[Herausgeber]

1978

Signatur: TCL2119-2

Intensional and higher order modal logic : with applications to Montague semantics

North Holland mathematics studies : 19 (Alle Bände)

Gallin, Daniel

1975

Signatur: TCL2290

1 – 25 von 213

Suche als RSS-Feed

Aktive Filter

SpracheEnglisch

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(213)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(213)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Französisch
(2)
Deutsch
(2)

Systemstelle

TCL
(213)
HIN
(3)
HLH
(3)
TAY
(3)
TVD
(3)
TBP
(2)
TVC
(2)
TAXN
(1)
TCX
(1)
TDW
(1)
TGW
(1)
TVA
(1)
TVI
(1)
TVM
(1)

9 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

1 weiteren anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Classical recursion theory

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

Aleph-zero-categoricity over a predicate

Metalogic : an introd. to the metatheory of standard first order logic

An introduction to modal logic

Fuzzy sets and their applications to cognitive and decision processes : proceedings of the US Japan Seminar on Fuzzy Sets and Their Applications, held at the University of California, Berkeley, California, July 1 - 4, 1974

General recursion theory : an axiomatic approach

Formal systems and recursive functions : proceedings of the 8. Logic Colloquium, Oxford, July 1963

Precision, language and logic

An introduction to mathematical modeling

Admissible sets and structures : an approach to definability theory

The unprovability of consistency : an essay in modal logic

Discrete and switching functions

Modal logic : an introduction

A resolution calculus for modal logics

Constructibility

Around classification theory of models

Automated theorem proving

Combinatorial set theory : partition relations for cardinals

Degrees of unsolvability : local and global theory

Self-reference and modal logic

Generalized recursion theory : proceedings of the ... Oslo Symposium

Generalized recursion theory : proceedings of the ... Oslo Symposium. 1. Proceedings of the 1972 Oslo Symposium

Generalized recursion theory : proceedings of the ... Oslo Symposium. 2. Proceedings of the 1977 Oslo symposium

Intensional and higher order modal logic : with applications to Montague semantics

Aktive Filter

Suchergebnisse filtern