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
  • 312 pages
  • English
Genres
Nonfiction › Science & mathematics › MathematicsNonfiction › Technology › Computing › ProgrammingNonfiction › Philosophy › Logic

No reviews yet. Be the first.

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

Other editions (2)