An illustrated magazine for those who study and teach English published in Russia.. On its pages you find information about English-speaking countries, news, music life, short stories, scripts for plays in school theater productions, poetry contests, the texts of popular songs, crosswords and chaynvordy, psychological tests, logic problem, as well as such serious things as samples of job offered admission to entrance examinations. ENGLISH CONTENT ONLY!
Relation Algebras by Games Volume 147They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit substantial advances to be made. The book contains many new results and proofs not published elsewhere. It should be invaluable to graduate students and researchers interested in relation algebras and games.
The Riddle of Scheherazade: And Other Amazing Puzzles, Ancient and Modern
Once again in trouble with the king and in danger of losing her head, clever Scheherazade teases the king with a selection of 225 devious mathematical and logic puzzles, including Go+a5delian brain twisters, paradoxes, metapuzzles, logic tricks, number games, and more. 10,000 first printing."
In these mathematical and logic puzzles, truth-telling knights battle lying knaves; a philosopher-logician named George falls in love with Oona, flighty bird-girl of the South Pacific; Inspector Craig and timid, conceited or modest reasoners match wits. Using such fictional enticements, the author of What Is the Name of This Book? and To Mock a Mockingbird steers us through the logical thickets of Kurt Godel's famous Incompleteness Theorem, which holds that mathematical systems can never prove their own consistency.
The Logic of Language opens a new perspective on logic.Seuren argues that the logic of language derives from the lexical meanings of the logical operators. These meanings, however, prove not to be consistent. Seuren solves this problem through an indepth analysis of the functional adequacy of natural predicate logic and standard modern logic for natural linguistic interaction. He then develops a general theory of discourse-bound interpretation, covering discourse incrementation, anaphora, presupposition and topic-comment structure, all of which form the 'cement' of discourse structure.
