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 4 von 4
    Datensatz exportieren als...
  • BibTeX
Kleene Symposium : proceedings of the symposium held June 18 - 24 1978 at Madison, Wisconsin, USA
Studies in logic and the foundations of mathematics : 101 (Alle Bände)
1980
Signatur: TAY780160

Details

Autor(en) / Beteiligte
Titel
Kleene Symposium : proceedings of the symposium held June 18 - 24 1978 at Madison, Wisconsin, USA
Ist Teil von
Ort / Verlag
Amsterdam [u.a.] : North-Holland Publ. Co.
Erscheinungsjahr
1980
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 0444853456
OCLC-Nummer: 636291355, 636291355
Titel-ID: 990001984600106463
Format
XX, 425 S.
Systemstelle
TAY
Schlagworte
Intuitionistische Mathematik, Rekursionstheorie, Intuitionistische Logik

Lade weitere Informationen...