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
Readings in nonmonotonic reasoning
1. [Dr.], 1987
Signatur: TCL3783
    Datensatz exportieren als...
  • BibTeX
Lambda calculi : a guide for computer scientists
Graduate texts in computer science : 3 (Alle Bände)
1994
Signatur: TCL4179
    Datensatz exportieren als...
  • BibTeX
Topology via logic
Cambridge tracts in theoretical computer science : 5 (Alle Bände)
1989
Signatur: TCX1901
    Datensatz exportieren als...
  • BibTeX
Model theoretic algebra : with particular emphasis on fields, rings, modules
Algebra, logic and applications : 2 (Alle Bände)
Authoriz. facs. of the orig. ed, 1989
Signatur: TDW3261
    Datensatz exportieren als...
  • BibTeX
An introduction to modal logic
Reprint. with corr, 1972
Signatur: TCL1595
    Datensatz exportieren als...
  • BibTeX
Discrete and switching functions
Advanced book program
1978
Signatur: TCL2761
    Datensatz exportieren als...
  • BibTeX
Modal logic : an introduction
1980
Signatur: TCL3050
    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
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
Self-reference and modal logic
Universitext
1. [Dr.], 1985
Signatur: TCL3440
    Datensatz exportieren als...
  • BibTeX
Model-theoretic logics
Perspectives in mathematical logic
1985
Signatur: TCL3432
    Datensatz exportieren als...
  • BibTeX
Frege's conception of numbers as objects
Scots philosophical monographs : 2 (Alle Bände)
1983
Signatur: TCL3416
    Datensatz exportieren als...
  • BibTeX
Building models by games
London Mathematical Society student texts : 2 (Alle Bände)
1985
Signatur: TCL3393
    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
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
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
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
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
The logic of conditionals : an application of probability to deductive logic
Synthese library : 86 (Alle Bände)
1975
Signatur: TCL2062
    Datensatz exportieren als...
  • BibTeX
Topics in conditional logic
Philosophical studies series in philosophy : 20 (Alle Bände)
1980
Signatur: TCL3115
    Datensatz exportieren als...
  • BibTeX
Tense logic
Synthese library : 111 (Alle Bände)
1976
Signatur: TCL2436, TCL2737
    Datensatz exportieren als...
  • BibTeX
Algebra of proofs
Studies in logic and the foundations of mathematics : 88 (Alle Bände)
1978
Signatur: TCL2892
1 – 25 von 134
Suche als RSS-Feed
Aktive Filter
SpracheNorwegisch
Art des MediumsOnline-Ressource
SchlagwortRezeption
SystemstelleTCL
Suchergebnisse filtern
Filter anzeigen