This book investigates the foundational methodology for combining distinct logical systems, a process termed 'fibring', to address the needs of modern mathematics, computer science, and linguistics. Dov M. Gabbay, a prominent figure in the field of logic, provides a systematic framework for decomposing complex logical structures into manageable components. By establishing formal rules for how these components interact, the author enables researchers to construct more versatile and robust logical systems from simpler, pre-existing ones.

Experts recognize this work as a foundational text for understanding the mechanics of combining logical systems in formal research. Readers frequently note the high level of technical density, making it a primary resource for advanced students and professionals in logic and theoretical computer science.