Ergebnisse zu
Logik / Mengenlehre

A Study of Computable Functions and Computably Generated Sets

12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings

Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

Held at Versailles/France, Decembre 1968

Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979

In Memoriam Carol Karp

The Equational Logic of Iterative Processes

Special Features of Function Spaces

A Homage to Lotfi A. Zadeh – Volume 2

Computational Aspects of Definability