Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

William M. Farmer

  • First published 2023
  • 348 pages
  • English
Genres
Nonfiction › Science & mathematics › MathematicsNonfiction › Technology › Computing › ProgrammingNonfiction › Philosophy › Logic

No reviews yet. Be the first.

This edition
Birkhäuser, 2025
ISBN
9783031853517
Language
English
Original edition Originally published in 2023 · English · Springer International Publishing

Other editions (2)