UNIVERSI
TÄ
TS-
BIBLIOTHEK
P
ADERBORN
Anmelden
Menü
Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Einstellungen
Sprache
Deutsch
Deutsch
Englisch
Farbschema
Hell
Dunkel
Automatisch
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...
Universitätsbibliothek
Katalog
Suche
Details
Zur Ergebnisliste
Datensatz exportieren als...
BibTeX
Introduction to higher order categorical logic
Cambridge studies in advanced mathematics : 7
(
Alle Bände
)
Lambek, Joachim
Scott, Philip J
1986
Signatur:
TCX1812
Details
Autor(en) / Beteiligte
Lambek, Joachim
Scott, Philip J
Titel
Introduction to higher order categorical logic
Ist Teil von
Cambridge studies in advanced mathematics : 7
(
Alle Bände
)
Ort / Verlag
Cambridge [u.a.] : Cambridge Univ. Pr.
Erscheinungsjahr
1986
Link zu anderen Inhalten
Inhaltsverzeichnis
Sprache
–
Identifikatoren
ISBN: 0521246652
OCLC-Nummer: 241603711, 241603711
Titel-ID: 990004094740106463
Format
IX, 293 S. : graph. Darst.
Systemstelle
TCX
Schlagworte
Kategorientheorie
,
Mathematische Logik
,
Logik
,
Mathematik
,
Grundlage
Lade weitere Informationen...