Capa do artigo Simple Type Theory

Simple Type Theory

A Practical Logic For Expressing And Reasoning About Mathematical Ideas

by William M. Farmer
language: english
Publisher: BIRKHAUSER VERLAG AG, January of 2024 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book

Simple Type Theory

A Practical Logic For Expressing And Reasoning About Mathematical Ideas

by William M. Farmer

Property Description
ISBN: 9783031211140
Publisher: BIRKHAUSER VERLAG AG
Release Date: January of 2024
Language: English
Dimensions: 157 x 234 x 16 mm
Cover: Softcover
Pages: 295
Format: Book
Collection: Computer Science Foundations And Applied Logic
Categories: Books in English > Science > Mathematics
Books in English > Others
EAN: 9783031211140

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION

WILLIAM M. FARMER

SEE MORE TITLES BY THIS AUTHOR

PEOPLE WHO BOUGHT ALSO BOUGHT