PREFACE
THE FORMAL SCIENCES
SLOWVERSUS FAST GROWING*
APPLICATIONS OF ELEMENTARY SUBMODELS IN GENERAL TOPOLOGY
THE HISTORY OF APPLIED MATHEMATICS AND THE HISTORY OF SOCIETY
LEIBNIZ'S RIGOROUS FOUNDATION OF INFINITESIMAL GEOMETRY BY MEANS OF RIEMANNIAN SUMS
A TERM OF LENGTH 4 523 659 424 929
LARGE NUMBERS, KNUTH'S ARROWNOTATION, AND RAMSEY THEORY
TARSKI'S FIXED-POINT THEOREM AND LAMBDA CALCULI WITH MONOTONE INDUCTIVE TYPES
GAMES IN THE SEMANTICS OF PROGRAMMING LANGUAGES – AN ELEMENTARY INTRODUCTION
THE INCAN QUIPUS
MODEL CHECKING TECHNIQES FOR THE ANALYSIS OF REACTIVE SYSTEMS
COMPARING APPROACHES TO RESOLUTION BASED HIGHER-ORDER THEOREM PROVING
MATHEMATICAL PROOF THEORY IN THE LIGHT OF ORDINAL ANALYSIS
CONCEPTS AND AIMS OF FUNCTIONAL INTERPRETATIONS
THE CATEGORY OF INNER MODELS