Fibring Logics

Main
Mathematics - Logic
Fibring Logics

Fibring Logics

Name: Fibring Logics
ISBN: 9780198503811

Dov M. Gabbay

0 / 0

0 comments

이 책이 얼마나 마음에 드셨습니까?

파일의 품질이 어떻습니까?

책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다

다운로드된 파일들의 품질이 어떻습니까?

Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working together. In this book the author offers a basic methodology for combining--or fibring--systems. The technique shows how to break complex systems into simple components which can be easily manipulated and recombined.

카테고리:

Mathematics - Logic

권:

년:

1998

출판사:

Oxford University Press, USA

언어:

english

페이지:

490

ISBN 10: