UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 154

Sortiert nach

Proceedings of the Summer School in Logic Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic

Löb, M. H

1968

Volltextzugriff (PDF)

Proceedings of the Summer School in Logic Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic

Löb, M. H.

2006

Volltextzugriff (PDF)

Correction to ‘A model theoretic characterisation of effective operations’

The Journal of symbolic logic, 1974, Vol.39 (2), p.225-225

Lob, M. H

1974

Volltextzugriff (PDF)

Meeting of the Association for Symbolic Logic, Leeds 1962

The Journal of Symbolic Logic, 1962-09, Vol.27 (3), p.373-382

Lob, M. H

1962

Volltextzugriff (PDF)

Meeting of the Association for Symbolic Logic Leeds 1967

The Journal of symbolic logic, 1968-09, Vol.33 (3), p.490-496

1968

Volltextzugriff (PDF)

Klassen rekursiver funktionen

Proceedings of the Summer School in Logic Leeds, 1967, 2006, p.159-222

2006

Volltextzugriff (PDF)

Hierarchies of number-theoretic functions. I

Archive for mathematical logic, 1970-03, Vol.13 (1-2), p.39-51

1970

Volltextzugriff (PDF)

A reduction theorem for predicate logic

The Journal of symbolic logic, 1972-06, Vol.37 (2), p.352-354

Lob, M. H

1972

Volltextzugriff (PDF)

Solution of a problem of Leon Henkin

The Journal of symbolic logic, 1955-03, Vol.20 (2), p.115-118

Lob, M. H.

1955

Volltextzugriff (PDF)

A model theoretic characterization of effective operations

The Journal of symbolic logic, 1970-06, Vol.35 (2), p.217-222

Lob, M. H

1970

Volltextzugriff (PDF)

Hierarchies of number-theoretic functions II

Archive for mathematical logic, 1970-12, Vol.13 (3-4), p.97-113

1970

Volltextzugriff (PDF)

Extensional interpretations of modal logics

The Journal of symbolic logic, 1966-03, Vol.31 (1), p.23-45

Lob, M. H

1966

Volltextzugriff (PDF)

Theories which are not χo-categorical

Proceedings of the Summer School in Logic Leeds, 1967, 2006, p.273-278

2006

Volltextzugriff (PDF)

Recursive equivalence: A survey

Proceedings of the Summer School in Logic Leeds, 1967, 2006, p.241-251

2006

Volltextzugriff (PDF)

Partitions and models

Proceedings of the Summer School in Logic Leeds, 1967, 2006, p.109-158

2006

Volltextzugriff (PDF)

Formalisations of some ℵ0 łukasiewicz propositional calculi

Proceedings of the Summer School in Logic Leeds, 1967, 2006, p.269-271

2006

Volltextzugriff (PDF)

Lectures on proof theory

Proceedings of the Summer School in Logic Leeds, 1967, 2006, p.1-107

2006

Volltextzugriff (PDF)

The Π11-comprehension schema and ω-rules

Proceedings of the Summer School in Logic Leeds, 1967, 2006, p.303-331

2006

Volltextzugriff (PDF)

The monadic fragment of predicate calculus with the Chang quantifier and equality

Proceedings of the Summer School in Logic Leeds, 1967, 2006, p.279-301

2006

Volltextzugriff (PDF)

Hyperarithmetic ultrafilters

Proceedings of the Summer School in Logic Leeds, 1967, 2006, p.223-240

2006

Volltextzugriff (PDF)

Half-ring morphologies

Proceedings of the Summer School in Logic Leeds, 1967, 2006, p.253-268

2006

Volltextzugriff (PDF)

Formal systems of constructive mathematics

The Journal of symbolic logic, 1956-03, Vol.21 (1), p.63-75

Lob, M H

1956

Volltextzugriff (PDF)

Concatenation as basis for a complete system of arithmetic

The Journal of symbolic logic, 1953-03, Vol.18 (1), p.1-6

Lob, M H

1953

Volltextzugriff (PDF)

Geist und Wirklichkeit. By K. Reidemeister. Pp. iii, 92. DM 8.60 1953. (Springer, Berlin). - Die Unsachlichkeit des Exitentialismus. By K. Reidemeister. Pp. iv 40. DM 4.80. 1954 (Springer, Berlin)

Mathematical gazette, 1956-10, Vol.40 (333), p.226-227

LöB, M. H.

1956

Volltextzugriff (PDF)

Die Vollständigkeit der verzweigten Typenlogik mit unendlicher Terminduktion

Archiv für mathematische Logik und Grundlagenforschung, 1968-01, Vol.11 (1), p.68

Löb, M H

1968

Volltextzugriff (PDF)

1 – 25 von 154

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(94)
Mit Volltextzugriff
(128)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Proceedings of the Summer School in Logic Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic

Proceedings of the Summer School in Logic Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic

Correction to ‘A model theoretic characterisation of effective operations’

Meeting of the Association for Symbolic Logic, Leeds 1962

Meeting of the Association for Symbolic Logic Leeds 1967

Klassen rekursiver funktionen

Hierarchies of number-theoretic functions. I

A reduction theorem for predicate logic

Solution of a problem of Leon Henkin

A model theoretic characterization of effective operations

Hierarchies of number-theoretic functions II

Extensional interpretations of modal logics

Theories which are not χo-categorical

Recursive equivalence: A survey

Partitions and models

Formalisations of some ℵ0 łukasiewicz propositional calculi

Lectures on proof theory

The Π11-comprehension schema and ω-rules

The monadic fragment of predicate calculus with the Chang quantifier and equality

Hyperarithmetic ultrafilters

Half-ring morphologies

Formal systems of constructive mathematics

Concatenation as basis for a complete system of arithmetic

Geist und Wirklichkeit. By K. Reidemeister. Pp. iii, 92. DM 8.60 1953. (Springer, Berlin). - Die Unsachlichkeit des Exitentialismus. By K. Reidemeister. Pp. iv 40. DM 4.80. 1954 (Springer, Berlin)

Die Vollständigkeit der verzweigten Typenlogik mit unendlicher Terminduktion

Suchergebnisse filtern