Disability Studies verstehen sich als interdisziplinär ausgerichtete Forschungsstrategie, die dav...

Die Schwierigkeit Mathematik zu lernen und zu lehren ist jedem bekannt, der einmal mit diesem Fac...

Erstes Kapitel. Einführende Betrachtungen über Algorithmen.- 1. Der Begriff des Algorithmus.-...

Gottlob Frege hinterließ eine große Anzahl wissenschaftlich bedeutsamer Papiere, darunter größere...

Turing-Maschinen und berechenbare Funktionen I: Präzisierung von Algorithmen.- 1. Naive Vorbetr...

Erstes Kapitel. Grundlagen.- Zweites Kapitel. Die einfachsten Verbandsklassen.- Drittes Kapitel. ...

A book about numbers sounds rather dull. This one is not. Instead it is a lively story about one ...

Foreword to the Revised Edition.- First order predicate logic with choice operator.- First order ...

Wir hören in dieser 'Arbeitsgemeinschaft für Forschung' oft Vorträge über ganz spezielle Themen, ...

Sagen aus der Eifel: Dieses Buch handelt von Hexenprozessen, Gespenstern, Grafen, dem Geißen-Krie...

This book grew out of lectures. It is intended as an introduction to classical two-valued predica...

Das vorliegende, 1963 in erster Auflage erschienene Buch ist aus Vorlesungen hervorgegangen. Es s...

Once we have accepted a precise replacement of the concept of algo rithm, it becomes possible to ...

Su II