Livres de Matthias Baaz

Methods of Cut-Elimination

Logic Colloquium '01

Computer Science Logic

Kurt Godel and the Foundations of Mathematics

Logic for Programming, Artificial Intelligence, and Reasoning

Collegium Logicum

Logische Kalküle in informatischen Problemstellungen

Mathematische Modelle des militärischen Kräftevergleichs

Abusive Head Trauma: Experience Improves Diagnosis

Object Design Style Guide

Space Science and the Arab World

Discover #04

Discover #05

Discover #03

The poems of William of Shoreham

Dornfeld322

Representations of Gender and Class in "The Great Gatsby". An Analysis of the Movie Adaptations of 1974 and 2013