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...
Zur Ergebnisliste
Ergebnis 1 von 3
    Datensatz exportieren als...
  • BibTeX
Proof methods for modal and intuitionistic logics
Synthese library : 169 (Alle Bände)
1983
Signatur: TCL3301

Details

Autor(en) / Beteiligte
Titel
Proof methods for modal and intuitionistic logics
Ist Teil von
Ort / Verlag
Dordrecht [u.a.] : Reidel
Erscheinungsjahr
1983
Link zu anderen Inhalten
Beschreibungen/Notizen
  • Literaturverz. S. 526 - 539
Sprache
–
Identifikatoren
ISBN: 9027715734
OCLC-Nummer: 251578227, 251578227
Titel-ID: 990003561630106463
Format
VIII, 555 S.
Systemstelle
TCL
Schlagworte
Modallogik, Beweis, Intuitionistische Logik, Automatisches Beweisverfahren

Lade weitere Informationen...