Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Aleph-zero-categoricity over a predicate
1988
Signatur: D442
    Datensatz exportieren als...
  • BibTeX
Metalogic : an introd. to the metatheory of standard first order logic
1971
Signatur: TCL2622
    Datensatz exportieren als...
  • BibTeX
An introduction to modal logic
Reprint. with corr, 1972
Signatur: TCL1595
    Datensatz exportieren als...
  • BibTeX
Modal logic : an introduction
1980
Signatur: TCL3050
    Datensatz exportieren als...
  • BibTeX
Discrete and switching functions
Advanced book program
1978
Signatur: TCL2761
    Datensatz exportieren als...
  • BibTeX
Precision, language and logic
1. ed, 1977
Signatur: TCL2614
    Datensatz exportieren als...
  • BibTeX
General recursion theory : an axiomatic approach
Perspectives in mathematical logic
1980
Signatur: TCL3084
    Datensatz exportieren als...
  • BibTeX
Formal systems and recursive functions : proceedings of the 8. Logic Colloquium, Oxford, July 1963
Studies in logic and the foundations of mathematics
1965
Signatur: TCL2208
    Datensatz exportieren als...
  • BibTeX
Admissible sets and structures : an approach to definability theory
Perspectives in mathematical logic
1975
Signatur: TCL2282
    Datensatz exportieren als...
  • BibTeX
A resolution calculus for modal logics
1988
Signatur: D414
    Datensatz exportieren als...
  • BibTeX
Decidability and generalized quantifiers
Mathematical research : 3 (Alle Bände)
1980
Signatur: TCL3107
    Datensatz exportieren als...
  • BibTeX
The lambda calculus : its syntax and semantics
Studies in logic and the foundations of mathematics : 103 (Alle Bände)
1981
Signatur: TCL3149
    Datensatz exportieren als...
  • BibTeX
Proof theory and intuitionistic systems
Lecture notes in mathematics : 212 (Alle Bände)
1971
Signatur: TCL1032
    Datensatz exportieren als...
  • BibTeX
Büchi's monadic second order successor arithmetic
Lecture notes in mathematics : 120 (Alle Bände), Decidable theories : 1 (Alle Bände)
1970
Signatur: TCL2745
    Datensatz exportieren als...
  • BibTeX
Introduction to combinatory logic
London Mathematical Society lecture note series : 7 (Alle Bände)
1972
Signatur: TCL1236
    Datensatz exportieren als...
  • BibTeX
Logic in algebraic form : three languages and theories
Studies in logic and the foundations of mathematics : 72 (Alle Bände)
1974
Signatur: TCL2101
    Datensatz exportieren als...
  • BibTeX
The core model
London Mathematical Society lecture note series : 61 (Alle Bände)
1982
Signatur: TCL3199
    Datensatz exportieren als...
  • BibTeX
Term logic with choice operator
Lecture notes in mathematics : 6 (Alle Bände)
Rev. and enl. transl. of the 1. German ed, 1970
Signatur: TCL1040
    Datensatz exportieren als...
  • BibTeX
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)
1969
Signatur: TCL1058
    Datensatz exportieren als...
  • BibTeX
Computations in higher types
Lecture notes in mathematics : 574 (Alle Bände)
1977
Signatur: TCL2428
    Datensatz exportieren als...
  • BibTeX
Tense logic
Synthese library : 111 (Alle Bände)
1976
Signatur: TCL2436, TCL2737
    Datensatz exportieren als...
  • BibTeX
Subjunctive reasoning
Philosophical studies series in philosophy : 8 (Alle Bände)
1976
Signatur: TCL2397
    Datensatz exportieren als...
  • BibTeX
Model theory for modal logic : Kripke models for modal predicate calculi
Synthese library : 127 (Alle Bände)
1979
Signatur: TCL2999
    Datensatz exportieren als...
  • BibTeX
Truth, syntax, and modality : proceedings of the Temple University Conference on Alternative Semantics
Studies in logic and the foundations of mathematics : 68 (Alle Bände)
1973
Signatur: TCL1359
    Datensatz exportieren als...
  • BibTeX
Topics in conditional logic
Philosophical studies series in philosophy : 20 (Alle Bände)
1980
Signatur: TCL3115
1 – 25 von 213
Suche als RSS-Feed
Aktive Filter
SystemstelleWGD
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen