MPG.eBooks - Search Results - "Mathematical Logic"

Search alternatives:
mathematical » mathematics

Cover Image

1

Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions

by Bertot, Yves, Castéran, Pierre
Published 2004

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Cover Image

2

Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

by Bertot, Yves
Published 1999

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”