AILA - Associazione Italiana di Logica e sue Applicazioni
AILA preprint
- R. Magari, Boolean algebras with further operators AILA Preprint (1) luglio-ottobre 1990
- A. Faglia e G. Pighizzini (a cura di), Un invito alla teoria delle specie di Joyal (appunti dal corso di Giancarlo Rota) AILA Preprint (2) luglio-ottobre 1990
- D. Mundici, Two papers on Ulam's logic with lies AILA Preprint (3) luglio-ottobre 1990
- M. Negri, Universal Functions in Partial Structures AILA Preprint (4) novembre 1990
- F. Parlamento e A. Policriti, Two papers on non well-founded sets AILA Preprint (5) dicembre 1990
- G. F. Servi, Non monotonic Consequence based on intuitionistic Logic AILA Preprint (6) gennaio 1991
- C. Sossai, Turing Machines, Uncertainty and Parallelism AILA Preprint (7) febbraio 1991
- S. Baratella e R. Ferro, A Theory of Sets with the Negation of the Axiom of Infinity AILA Preprint (8) marzo-aprile 1991
- G. Marongiu e S. Tulipani, Decidability results for term algebras AILA Preprint (9) maggio-giugno 1991
- S. Tulipani, Decidability of the existential Theory of Infinite Terms with subterm Relation AILA Preprint (9) maggio-giugno 1991
- P. Agliano e A. Ursini, On some ideal basis theorems AILA Preprint (10) luglio-dicembre 1991
- A. Ursini, On subractive varieties, I AILA Preprint (10) luglio-dicembre 1991
- M. Ferrari e P. Miglioli, Counting the maximal intermediate constructive logics AILA Preprint (11) gennaio-giugno 1992
- A. M. Zanaboni, Reasoning about knowledge Notes of Rohit Parikh's Lectures AILA Preprint (12) luglio-settembre 1992
- E. Moriconi e F. Vitale, Flexible and strict typing theories AILA Preprint (13) ottobre 1992
- W. Sieg, Mechanism and Search Aspects of Proof Theory AILA Preprint (14) novembre 1992-febbraio 1993
- A. Leitsch, Resolution Theorem Proving AILA Preprint (15) marzo-giugno 1993
- S. Baratella e R. Ferro, Non standard regural finite set theory AILA Preprint (16) luglio-dicembre 1993
- G. Lolli, Completeness. Being an Account of the Vain Search for Meaning in Logic AILA Preprint (18) 1995