Actes du séminaire international d'été de logique (Clermont-Ferrand - du 15 au 26 juillet 1975)

Sommaire

Avertissement
p. 3 (Pages préliminaires)
Interpreting set theory in the endomorphism semi-group of a free algebra or in a category
p. 1-29
Informal proofs formally checked by machine
p. 31-53
Calcul des séquents et déduction naturelle pour la logique trivalente de Lukasiewicz
p. 55-73
Problems in Boolean algebras
p. 75
Le résultat de Karp-Myhill dans (1) est, en un sens, le meilleur possible
p. 77-80
Another approach to infinite forcing
p. 81-86
Polythéorie de Galois abstraite dans le cas infini général
p. 87-91
Failure of completeness properties of intuitionistic predicate logic for constructive models
p. 93-107
Some constructive topological properties of function spaces
p. 109-115
Representation theorem for finite quasi-boolean algebras
p. 117-128
The theory of boolean algebras with a distinguished subalgebra is undecidable
p. 129-134
The model-completion of Stone algebras
p. 135-155
On the principle square : coding and extending embeddings
p. 157-165