Ergebnisse zu
Logik / Mengenlehre

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

In Memoriam Carol Karp

Artificial Perception, Shape Generation and Computer Aesthetics

A Tool for Design of Flexible Adaptive Systems

A Study of Computable Functions and Computably Generated Sets

A Closer Look at Mathematics

An Introduction to Proofs, Logic, Sets, and Numbers

Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980

Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999