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
Universitätsbibliothek
Katalog
Details
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
Semantical investigations in Heyting's intuitionistic logic
Synthese library : 148
(
Alle Bände
)
Gabbay, Dov M
1981
Signatur:
HLH1888
Details
Autor(en) / Beteiligte
Gabbay, Dov M
Titel
Semantical investigations in Heyting's intuitionistic logic
Ist Teil von
Synthese library : 148
(
Alle Bände
)
Ort / Verlag
Dordrecht : Reidel
Erscheinungsjahr
1981
Link zu anderen Inhalten
Inhaltsverzeichnis
Sprache
Deutsch
Identifikatoren
ISBN: 9027712026
OCLC-Nummer: 266077290, 266077290
Titel-ID: 990003486410106463
Format
X, 287 S.
Systemstelle
HLH
Schlagworte
Intuitionistische Logik
,
Semantik
Lade weitere Informationen...