|
Reviews in category "Mathematical Logic And Formal Languages (F.4)": |
|
Syllogistic logic and mathematical proof Mancosu P., Mugnai M., Oxford University Press, Oxford, England, 2023. 240 pp. Type: Book (0198876920) |
|
Visual complex analysis (25th anniversary ed.) Needham T., Penrose R., OXFORD UNIVERISTY PRESS, Oxford, UK, 2023. 675 pp. Type: Book (9780192868923) |
|
Algorithms for constructing computably enumerable sets Supowit K., Springer International Publishing, Cham, Switzerland, 2023. 183 pp. Type: Book (9783031269035) |
|
Randomness and elements of decision theory applied to signals Borda M., Terebes R., Malutan R., Ilea I., Cislariu M., Miclea A., Barburiceanu S., Springer International Publishing, Cham, Switzerland, 2021. 259 pp. Type: Book (978-3-030903-13-8) |
|
Simple type theory: a practical logic for expressing and reasoning about mathematical ideas Farmer W., BIRKHAUSER, Basel, Switzerland, 2023. 312 pp. Type: Book (3031211138) |
more...
|
|
|
|