Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Hauptmenü
-
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Präferenzen
.
Search Menu
Einfache Suche
.
Erweiterte Suche
.
Suche nach Neuerwerbungen
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Bottom Menu
Hilfe
Italienisch
.
Englisch
.
Deutsch
.
New Item Menu
Suche nach Neuerwerbungen
.
Neuerwerbungsliste
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
Sie befinden sich hier
:
>
Search Simple
Verwandte Werke
Verwandte Werke
Schlagwörter:
.
Computer logic
.
Computer Science
.
Logic, Symbolic and mathematical
.
Logics and Meanings of Programs
.
Mathematical logic
.
Mathematical Logic and Formal Languages
.
Mathematical Logic and Foundations
.
Authors:
Crossley, John N. 1937-
.
editor
.
Remmel, Jeffrey B.
.
Shore, Richard A.
.
Sweedler, Moss E.
.
Corporate Authors:
SpringerLink (Online service)
.
Series:
Progress in computer science and applied logic
.
Classification:
004.0151
.
Schnellsuche
Suche nach