Search alternatives:
peano » piano
Cover Image
Read Now

1
Published 2020
Springer International Publishing
Table of Contents: “... Logic Analysed in Constructive Type Theory -- On the Constructive Truth and Falsity in Peano Arithmetic...”