MPG.eBooks - Search Results - "Set Theory"

Cover Image

1

Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas

by Farmer, William M.
Published 2023

Birkhäuser

Subjects: “...Set theory...”