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
Modelltheorie. 2
Modelltheorie (Alle Bände), BI-Hochschultaschenbücher : 815 (Alle Bände)
1972
Signatur: TCL1456-2
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik. 1. Aussagenkalkül
Einführung in die mathematische Logik (Alle Bände), ... : 18 (Alle Bände)
6., völlig neubearb. Aufl, 1982
Signatur: TCL2088(6)-1
    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
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)
1978
Signatur: TCL2119-2
    Datensatz exportieren als...
  • BibTeX
Logic and arithmetic. 1. Natural numbers
Logic and arithmetic (Alle Bände)
1974
Signatur: TCL1799-1
    Datensatz exportieren als...
  • BibTeX
Logic and arithmetic. 2. Rational and irrational numbers
Logic and arithmetic (Alle Bände)
1979
Signatur: TCL1799-2
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik. 2. Prädikatenkalkül der ersten Stufe
Einführung in die mathematische Logik (Alle Bände)
1972
Signatur: TCL2088-2
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik. 3. Prädikatenlogik höherer Stufe
Einführung in die mathematische Logik (Alle Bände)
1981
Signatur: TCL2088-3
    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
The logic of conditionals : an application of probability to deductive logic
Synthese library : 86 (Alle Bände)
1975
Signatur: TCL2062
    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
Non-classical logics, model theory, and computability : proceedings of the Third Latin American Symposium on Mathematical Logic, Campinas, Brazil, July 11 - 17, 1976
Studies in logic and the foundations of mathematics : 89 (Alle Bände)
1977
Signatur: TCL2559
    Datensatz exportieren als...
  • BibTeX
An algebraic approach to non-classical logics
Studies in logic and the foundations of mathematics : 78 (Alle Bände)
1974
Signatur: TCL1252
    Datensatz exportieren als...
  • BibTeX
Mehrwertige Ordnungsfunktionen
Hamburger mathematische Einzelschriften : NF,3 (Alle Bände)
1971
Signatur: TGG1287
    Datensatz exportieren als...
  • BibTeX
INDUCTION, ACCEPTANCE, AND RATIONAL BELIEF. ED
SYNTHESE LIBRARY. 26. : 26 (Alle Bände)
1970
Signatur: TCL2389
    Datensatz exportieren als...
  • BibTeX
Temporal logic
Library of exact philosophy : 3 (Alle Bände)
1971
Signatur: TCL2729
    Datensatz exportieren als...
  • BibTeX
Regressive sets and the theory of isols
Lecture notes in pure and applied mathematics : 66 (Alle Bände)
1. print, 1982
Signatur: TCL3204
    Datensatz exportieren als...
  • BibTeX
Combinatorial set theory : partition relations for cardinals
Studies in logic and the foundations of mathematics : 106 (Alle Bände)
1984
Signatur: TCL3319
    Datensatz exportieren als...
  • BibTeX
Theory of relations
Studies in logic and the foundations of mathematics : 118 (Alle Bände)
1986
Signatur: TCL3458
    Datensatz exportieren als...
  • BibTeX
Around classification theory of models
Lecture notes in mathematics : 1182 (Alle Bände)
1986
Signatur: TCL3466
    Datensatz exportieren als...
  • BibTeX
Formal number theory and computability : a workbook
Oxford logic guides : 7 (Alle Bände), Oxford science publications
1982
Signatur: TCL3288
    Datensatz exportieren als...
  • BibTeX
Classical propositional operators : an exercise in the foundations of logic
Oxford logic guides : 5 (Alle Bände), Oxford science publications
1982
Signatur: TCL3220
    Datensatz exportieren als...
  • BibTeX
The lambda-calculus : its syntax and semantics
Studies in logic and the foundations of mathematics : 103 (Alle Bände)
Rev. ed, 1984
Signatur: TCL3149
    Datensatz exportieren als...
  • BibTeX
An introduction to stability theory
Oxford logic guides : 8 (Alle Bände)
1983
Signatur: TCL3327
26 – 50 von 348
Suche als RSS-Feed
Aktive Filter
Autor / AutorinCresswell, Maxwell J
Autor / AutorinDevlin, Keith J
Autor / AutorinSmullyan, Raymond M
SystemstelleTCX
Suchergebnisse filtern
Filter anzeigen