Online Library TheLib.net » Automated reasoning in higher-order logic: set comprehension and extensionality in church`s type theory
cover of the book Automated reasoning in higher-order logic: set comprehension and extensionality in church`s type theory

Ebook: Automated reasoning in higher-order logic: set comprehension and extensionality in church`s type theory

Author: Brown Chad E

00
30.01.2024
0
0
Download the book Automated reasoning in higher-order logic: set comprehension and extensionality in church`s type theory for free or read online
Read Download
Continue reading on any device:
QR code
Last viewed books
Related books
Comments (0)
reload, if the code cannot be seen