Tomeki

Explore Books on
logique 1er ordre

1-4 of 4 Books

View Finite model theory By Heinz-Dieter Ebbinghaus,Jörg Flum
Cover of Finite model theory by heinz-dieter ebbinghaus,jörg flum

Finite model theory

By Heinz-Dieter Ebbinghaus,Jörg Flum

View A mathematical introduction to logic By Herbert B. Enderton
Cover of A mathematical introduction to logic by herbert b. enderton

A mathematical introduction to logic

By Herbert B. Enderton

View Logique et fondements de l'informatique By Richard Lassaigne
Cover of Logique et fondements de l'informatique by richard lassaigne

Logique et fondements de l'informatique

By Richard Lassaigne

View Computational aspects of an order-sorted logic with term declarations By Manfred Schmidt-Schauss
Cover of Computational aspects of an order-sorted logic with term declarations by manfred schmidt-schauss

Computational aspects of an order-sorted logic with term declarations

By Manfred Schmidt-Schauss