Main An introduction to mathematical logic and type theory : to truth through proof
An introduction to mathematical logic and type theory : to truth through proof cover

An introduction to mathematical logic and type theory : to truth through proof

5.0 / 5.0
0 comments
Download An introduction to mathematical logic and type theory : to truth through proof book for free from OceanOfPDF
Request Code : ZLIB.IO17596022
Categories:
Year:
2022
Publisher:
Academic Press City: Orlando
Language:
English
ISBN 10:
0120585367
ISBN 13:
9780120585366
ISBN:
0120585359, 9780120585359, 0120585367, 9780120585366
Series:
Computer science and applied mathematics

Comments of this book

There are no comments yet.