Cover Image
Read Now

1
by Leitsch, Alexander
Published 1997
Springer Berlin Heidelberg
Subjects: “...Mathematical logic...”
Cover Image
Read Now

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

3
by Baaz, Matthias, Leitsch, Alexander
Published 2011
Springer Netherlands
Subjects: “...Mathematical logic...”
Cover Image
Read Now

4
by Gottlob, Georg
Published 1997
Springer Berlin Heidelberg
Subjects: “...Logic, Symbolic and mathematical...”
Cover Image
Read Now

5
by Goré, Rajeev
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: “...Logic, Symbolic and mathematical...”
Cover Image
Read Now

6
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Ultrafilter logic and generic reasoning -- Informal rigor and mathematical understanding -- Resolution...”
Cover Image
Read Now

7
Published 2001
Springer Berlin Heidelberg
Subjects: “...Mathematical logic...”
Cover Image
Read Now

8
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...The mathematics of set predicates in Prolog -- Some connections between set theory and computer...”