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 24 von 45
    Datensatz exportieren als...
  • BibTeX
Deducibility and decidability
1990
Signatur: TCL3848

Details

Autor(en) / Beteiligte
Titel
Deducibility and decidability
Ort / Verlag
London [u.a.] : Routledge
Erscheinungsjahr
1990
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 0415000335
OCLC-Nummer: 246839886, 246839886
Titel-ID: 990005413750106463
Format
VIII, 162 S.
Systemstelle
TCL
Schlagworte
Berechenbarkeit, Mathematische Lyrik, Mathematische Logik, Entscheidbarkeit

Lade weitere Informationen...