This is an excellent resource for actual professionals or those just getting started in tech writing. Contents include everyday documentation like emails, reports, as well as sections on international communication. It also covers style and rhetorical strategy.

A friendly guide to proper English grammar. Features coverage of pronouns, participles, parallel structure of verbs, adjectives, and tenses, and proper punctuation. Also covers effective proofreading, using slang, avoiding common grammatical errors, and conveying the appropriate meaning.
Why does grammar make everyone so nervous? Probably because English teachers, for decades – no, for centuries – have been making a big deal out of grammar in classrooms, diagramming sentences and drilling the parts of speech, clauses, and verbals into students until they beg for mercy. Happily, you don't have to learn all those technical terms of English grammar – and you certainly don't have to diagram sentences – in order to speak and write correct English.
So rest assured – English Grammar For Dummies will probably never make your English teacher's top-ten list of must-read books, because you won't have to diagram a single sentence. What you will discover are fun and easy strategies that can help you when you're faced with such grammatical dilemmas as the choice between "I" and "me," "had gone" and "went," and "who" and "whom." With English Grammar For Dummies, you won't have to memorize a long list of meaningless rules (well, maybe a couple in the punctuation chapter!), because when you understand the reason for a particular word choice, you'll pick the correct word automatically.

Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the foundations of mathematics and computer science. However, although it provides a considerable extension of the concepts and techniques of logic, it remains relatively unknown among linguists and philosophers.