Journals
Seminars
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Books
Lecture notes
Theses
Authors
All
All
Author
Title
References
Keywords
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
Annales scientifiques de l'Université de Clermont. Mathématiques
Volume 60 (1976)
Issue no. 13
Table of Contents
Actes du séminaire international d'été de logique (Clermont-Ferrand - du 15 au 26 juillet 1975)
Avertissement
p. 3 (Front Matter)
Interpreting set theory in the endomorphism semi-group of a free algebra or in a category
Shelah, Saharon
p. 1-29
Informal proofs formally checked by machine
Aiello, Luigia
;
Aiello, Mario
;
Attardi, Giuseppe
;
Prini, Gianfranco
p. 31-53
Calcul des séquents et déduction naturelle pour la logique trivalente de Lukasiewicz
Becchio, Denise
p. 55-73
Problems in Boolean algebras
Bonnet, R.
p. 75
Le résultat de Karp-Myhill dans (1) est, en un sens, le meilleur possible
Dujols, René
p. 77-80
Another approach to infinite forcing
Hirschfeld, Joram
p. 81-86
Polythéorie de Galois abstraite dans le cas infini général
Krasner, Marc
p. 87-91
Failure of completeness properties of intuitionistic predicate logic for constructive models
Leivant, Daniel
p. 93-107
Some constructive topological properties of function spaces
Margenstern, Maurice
p. 109-115
Representation theorem for finite quasi-boolean algebras
Muškardin, Virgilio
p. 117-128
The theory of boolean algebras with a distinguished subalgebra is undecidable
Rubin, Matatyahu
p. 129-134
The model-completion of Stone algebras
Schmitt, Peter H.
p. 135-155
On the principle square : coding and extending embeddings
Stanley, L. J.
p. 157-165