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...
    Datensatz exportieren als...
  • BibTeX
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
Synthese library : 4 (Alle Bände)
1962
Signatur: TCL1723

Details

Autor(en) / Beteiligte
Titel
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
Ist Teil von
Ort / Verlag
Dordrecht : Reidel
Erscheinungsjahr
1962
Link zu anderen Inhalten
Sprache
–
Identifikatoren
OCLC-Nummer: 264393134, 264393134
Titel-ID: 990000932480106463
Format
XIV, 170 S.
Systemstelle
TCL
Schlagworte
Mathematische Logik

Lade weitere Informationen...