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