Ergebnisse zu
Logik / Mengenlehre

Modeling and Control

13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings

Mathematical Tools for Approximate Reasoning

Representations, Fuzzy Sets and Nonclassical Cardinality theory

A First Course in Abstract Mathematics

Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975

Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984

A Guide for the Mathematician

Mathematical Foundations for a General Theory

Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo “Mauro Picone” of the Consiglio..