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
Temporal logic : mathematical foundations and computational aspects. 2
Temporal logic (Alle Bände), Oxford logic guides : 40 (Alle Bände)
2000
Signatur: TCL4276-2
    Datensatz exportieren als...
  • BibTeX
Inconsistent mathematics
Mathematics and its applications : 312 (Alle Bände)
1995
Signatur: TCL4242
    Datensatz exportieren als...
  • BibTeX
Philosophical problems of many-valued logic
Synthese library : 7 (Alle Bände)
Rev. ed.: ed. and transl. by Guido Küng .., 1963
Signatur: TCL1749, TBP1397
    Datensatz exportieren als...
  • BibTeX
Entailment : the logic of relevance and necessity. 2 / by Alan Ross Anderson and Nuel D. Belnap and J. Michael Dunn
Entailment (Alle Bände)
1992
Signatur: TCL2038-2
    Datensatz exportieren als...
  • BibTeX
Generalized recursion theory : proceedings of the ... Oslo Symposium
1974-
Signatur: TCL2119-...
    Datensatz exportieren als...
  • BibTeX
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)
1974
Signatur: TCL2119-1
    Datensatz exportieren als...
  • BibTeX
Readings in nonmonotonic reasoning
1. [Dr.], 1987
Signatur: TCL3783
    Datensatz exportieren als...
  • BibTeX
Logic and proof
1970
Signatur: TCL1650
    Datensatz exportieren als...
  • BibTeX
Specifications for a fuzzy system modeling language
1975
Signatur: TCL1943
    Datensatz exportieren als...
  • BibTeX
An introduction to independence for analysts
London Mathematical Society lecture note series : 115 (Alle Bände)
1987
Signatur: TCL3597
    Datensatz exportieren als...
  • BibTeX
Many-valued logics
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS.
1958
Signatur: TCL1757
    Datensatz exportieren als...
  • BibTeX
Techniques of admissible recursion theory
Lecture notes in mathematics : 1106 (Alle Bände)
1984
Signatur: TCL3343
    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
Mathematics of modality
CSLI lecture notes : 43 (Alle Bände)
1993
Signatur: TCL4373
    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
Model theory for modal logic : Kripke models for modal predicate calculi
Synthese library : 127 (Alle Bände)
1979
Signatur: TCL2999
    Datensatz exportieren als...
  • BibTeX
The unprovability of consistency : an essay in modal logic
1979
Signatur: TCL2981
    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
INDUCTION, ACCEPTANCE, AND RATIONAL BELIEF. ED
SYNTHESE LIBRARY. 26. : 26 (Alle Bände)
1970
Signatur: TCL2389
    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
Intensional and higher order modal logic : with applications to Montague semantics
North Holland mathematics studies : 19 (Alle Bände)
1975
Signatur: TCL2290
    Datensatz exportieren als...
  • BibTeX
Language in action : categories, lambdas and dynamic logic
Studies in logic and the foundations of mathematics : 130 (Alle Bände)
1991
Signatur: TCL3856
    Datensatz exportieren als...
  • BibTeX
Tense logic
Synthese library : 111 (Alle Bände)
1976
Signatur: TCL2436, TCL2737
    Datensatz exportieren als...
  • BibTeX
Undecidable theories
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS.
3. pr, 1971
Signatur: TCL1171
    Datensatz exportieren als...
  • BibTeX
Multiple forcing
Cambridge tracts in mathematics : 88 (Alle Bände)
1986
Signatur: TCL3513
1 – 25 von 134
Suche als RSS-Feed
Aktive Filter
SchlagwortHISTORY / General
SystemstelleTCL
Suchergebnisse filtern
Filter anzeigen