Home
 
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
  • All
  • Author
  • Title
  • References
  • Full text
NOT
Between and
  • All
  • Author
  • Title
  • Date
  • References
  • Mots-clés
  • Full text
  • Previous
  • Annales scientifiques de l'Université de Clermont. Mathématiques
  • Volume 60 (1976)
  • no. 13
  • Next

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

Table of contents


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
  • About
  • Help
  • Legal notice
  • Contact
 

Published by

 

Supported by

 
 

Partner of