This book is intended for students in computer science, formal linguistics, mathematical logic and to colleagues interested in categorial grammars and their logical foundations. These lecture notes present categorial grammars as deductive systems, in the approach called parsing-as-deduction, and the book includes detailed proofs of their main properties. The papers are organized in topical sections on AB grammars, Lambek’s syntactic calculus, Lambek calculus and montague grammar, non-associative Lambek calculus, multimodal Lambek calculus, Lambek calculus, linear logic and proof nets and proof nets for the multimodal Lambek calculus.

Winner - Primary Textbook series 2009"" A whole school grammar program with a strong context-based approach to teaching and learning... Each unit is well thought out with a clear instructional design, starting with a model text and culminating in the students writing a text to put their new grammatical knowledge into practice.""Australian Educational Publishing AwardsGrammar gets realThis practical book is part of a highly anticipated and outstanding new series that introduces and teaches

New Fairy Tales: English & French · The English text has been translated from the French. · The French text has been re-worked. · Contains commentaries on some parts of the text. · Contains a summary of French grammar. · Contains a Translation Skills Test (with Grammar tips). · Can be read in ‘English to French’; ‘French to English’; ‘English’; or ‘French’. THIS EDITION: New Fairy Tales (in French, Nouveaux Contes de fées) is a classic French book written by Comtesse de Ségur. It contains a collection of five smaller stories. This volume includes an introductory section summarising the important aspects of French grammar. The digital edition also contains a translation skills test. (Includes verb conjugation and other grammar hints.) The dual-language text has been arranged into small bilingual snippets for quick and easy cross-referencing. The content is ideal for assisting the intermediate language learner to transition to foreign language only content. Also, if the content is too difficult, there is other material put out by 2Langauge Books that can help. The reader can choose between six options: Section 1: English to French Section 2: French to English Section 3: English Section 4: French Section 5: English to French Skills Test Section 6: French to English Skills Test The eventual aim is to read with a comfortable level of understanding only in the foreign language. If you are a beginner, read the native language snippet first. If you are at an intermediate level, read the foreign language snippet first. The advanced level is like the beginners level, except you have to try and figure out the foreign language text, instead of having it provided. One way to do this is to cover the foreign text snippet. In the digital edition, you can take an intermediate or advanced level skills test. Many basic language books offer some form of audio support. Internet services — primarily news based radio stations — offer podcasts. Audio from television is an additional resource, and can be formatted for use on various digital platforms. However, if audio is an important component of your interest in languages, electronic devices that support quality text-to-speech (TTS) will likely be appealing. With a library card, TTS technology (in a device that supports the relevant content), and the above mentioned resources (as digital content), an entire language learning system is available for not much more than a cup of coffee! There is no substantial financial outlay to get you started. Furthermore, there are no additional ongoing fees (and updates), and there are no expiry dates on ‘premium’ content and resources. (A Dual-Language Book Project) 2Language Books

A well-written and accessible introduction to the most important features of formal languages and automata theory. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representations, and this edition includes new and expanded coverage of topics such as: reduction and simplification of material on Turing machines; complexity and O notation; propositional logic and first order predicate logic. Aimed primarily at computer scientists rather than mathematicians, algorithms and proofs are presented informally through examples, and there are numerous exercises (many with solutions) and an extensive glossary.