Cover Image
Read Now

1
by Caferra, Ricardo, Leitsch, Alexander, Peltier, Nicolas
Published 2004
Springer Netherlands
Subjects: “...Mathematical logic...”
Cover Image
Read Now

2
by Caferra, Ricardo
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

3
Published 2000
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

4
by Caferra, Ricardo
Published 2011
ISTE
Subjects: “...Computer logic / fast...”