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
Modal logic : an introduction
1980
Signatur: TCL3050
    Datensatz exportieren als...
  • BibTeX
Self-reference and modal logic
Universitext
1. [Dr.], 1985
Signatur: TCL3440
    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
Topics in conditional logic
Philosophical studies series in philosophy : 20 (Alle Bände)
1980
Signatur: TCL3115
    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
Model theory for modal logic : Kripke models for modal predicate calculi
Synthese library : 127 (Alle Bände)
1979
Signatur: TCL2999
    Datensatz exportieren als...
  • BibTeX
Modal logic
Cambridge tracts in theoretical computer science : 53 (Alle Bände)
1. paperback ed., reprint with corr, 2004
Signatur: TCL4763
    Datensatz exportieren als...
  • BibTeX
Modal logic
Cambridge tracts in theoretical computer science : 53 (Alle Bände)
1. paperback ed, 2002
Signatur: TCL4763
    Datensatz exportieren als...
  • BibTeX
The logic of provability
1993
Signatur: TCL4153
    Datensatz exportieren als...
  • BibTeX
Mathematics of modality
CSLI lecture notes : 43 (Alle Bände)
1993
Signatur: TCL4373
    Datensatz exportieren als...
  • BibTeX
The unprovability of consistency : an essay in modal logic
1979
Signatur: TCL2981
    Datensatz exportieren als...
  • BibTeX
Proof methods for modal and intuitionistic logics
Synthese library : 169 (Alle Bände)
1983
Signatur: TCL3301
1 – 12 von 12
Suche als RSS-Feed
Aktive Filter
Autor / AutorinCresswell, Maxwell J
Autor / AutorinSmullyan, Raymond M
SystemstelleTCX
SchlagwortIntuitionistische Mathematik
SchlagwortModallogik
Suchergebnisse filtern
Filter anzeigen