UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 335

Sortiert nach

Recursion theoretic hierarchies

Perspectives in mathematical logic

Hinman, Peter G

1978

Signatur: TCL2800

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

Hunter, Geoffrey

1971

Signatur: TCL2622

Rekursive Funktionen

1977

Signatur: TCL2672

FINITE MATHEMATICS, A MODELING APPROACH

1977

Signatur: TCL2591

Beginning model theory : the completeness theorem and some consequences

OXFORD LOGIC GUIDES

Bridge, Jane

1977

Signatur: TCL2567

The unprovability of consistency : an essay in modal logic

Boolos, George

1979

Signatur: TCL2981

Modal logic : an introduction

Chellas, Brian F

1980

Signatur: TCL3050

Discrete and switching functions

Advanced book program

1978

Signatur: TCL2761

The decision problem : solvable classes of quantificational formulas

1979

Signatur: TCL3076

Precision, language and logic

George, Frank H

1. ed, 1977

Signatur: TCL2614

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

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

Einführung in die Polargeometrie

Barthel, Ernst

2., wesentl. verb., erg. und umgearb. Aufl, 1932

Signatur: TCL2656(2)

Admissible sets and structures : an approach to definability theory

Perspectives in mathematical logic

Barwise, Jon

1975

Signatur: TCL2282

Boolean valued models and independence proofs in set theory

Oxford logic guides : 4 (Alle Bände)

Bell, John L

1977

Signatur: TCL2915

An introduction to mathematical modeling

A WILEY-INTERSCIENCE PUBLICATION

Bender, Edward A

1978

Signatur: TCL2876

Decidability and generalized quantifiers

Mathematical research : 3 (Alle Bände)

Baudisch, Andreas

1980

Signatur: TCL3107

The lambda calculus : its syntax and semantics

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

Barendregt, Hendrik P

1981

Signatur: TCL3149

Enumerability, decidability, computability : an introduction to the theory of recursive functions

Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete : 127 (Alle Bände)

Hermes, Hans

2., rev. ed, 1969

Signatur: TCL1155(2)

The principles of empirical or inductive logic

Burt Franklin: research and source works series : Philosophy and religious history monographs : 113 (Alle Bände)

Venn, John

Repr. from the orig. [2.] ed., 1907, 1972

Signatur: TCL1927(2)

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

Fundamentals of generalized recursion theory

Studies in logic and the foundation of mathematics : 105 (Alle Bände)

Fitting, Melvin

1981

Signatur: TCL3181

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 335

Suche als RSS-Feed

Aktive Filter

Autor / AutorinCresswell, Maxwell J

Art des InhaltsHochschulschrift (Sonstige)

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Gedruckt
(335)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(335)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Systemstelle

TCL
(335)
HLH
(4)
HIN
(3)
TAY
(3)
TVD
(3)
TBP
(2)
TAXN
(1)
TCO
(1)
TCX
(1)
TDW
(1)
TGW
(1)
TVA
(1)
TVC
(1)
TVI
(1)
TVM
(1)
TVU
(1)
WFM
(1)
WGA
(1)
WGD
(1)
WGI
(1)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Recursion theoretic hierarchies

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

Rekursive Funktionen

FINITE MATHEMATICS, A MODELING APPROACH

Beginning model theory : the completeness theorem and some consequences

The unprovability of consistency : an essay in modal logic

Modal logic : an introduction

Discrete and switching functions

The decision problem : solvable classes of quantificational formulas

Precision, language and logic

General recursion theory : an axiomatic approach

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

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

Einführung in die Polargeometrie

Admissible sets and structures : an approach to definability theory

Boolean valued models and independence proofs in set theory

An introduction to mathematical modeling

Decidability and generalized quantifiers

The lambda calculus : its syntax and semantics

Enumerability, decidability, computability : an introduction to the theory of recursive functions

The principles of empirical or inductive logic

Proof theory and intuitionistic systems

Cylindric set algebras

Fundamentals of generalized recursion theory

Büchi's monadic second order successor arithmetic

Aktive Filter

Suchergebnisse filtern