Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben

Logica Universalis

Ausgabe 2/2008

Inhalt (5 Artikel)

Strong Normalizability of Typed  Lambda-Calculi for Substructural Logics

Motohiko Mouri, Norihiro Kamide

Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties

Francesco Paoli, Matthew Spinks, Robert Veroff

“Setting” n-Opposition

Régis Pellissier

Perfect IFG-Formulas

Allen L. Mann

Birkhoff Completeness in Institutions

Mihai Codescu, Daniel Găină

Mär 08
Ausgabe: 1/2008
Jul 09
Ausgabe: 1/2009

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner

    Bildnachweise