Filter

Logique 1er Ordre

4 books found

Finite model theory
Finite model theory

by Heinz-Dieter Ebbinghaus, Jörg Flum

1995 5 ed.
A mathematical introduction to logic
A mathematical introduction to logic

by Herbert B. Enderton

1972 2 ed.
Logique et fondements de l'informatique
Logique et fondements de l'informatique

by Richard Lassaigne

1993 1 ed.
Computational aspects of an order-sorted logic with term declarations
Computational aspects of an order-sorted logic with term dec...

by Manfred Schmidt-Schauss

1989 1 ed.