Focus
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
Action newsletter : Abonnez-vous dès maintenant à notre newsletter et bénéficiez de 10 % de réduction sur vos commandes en ligne jusqu’au 8 août 2025. Infos et inscription.
Fibring Logics
Fibring Logics

Fibring Logics

Livre (relié)env. 196.00 CHF
livrable dans env. 10-20 jours

Contenu

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.

Informations bibliographiques

novembre 1998, Oxford Logic Guides, Anglais
Oxford University Press
978-0-19-850381-1

Sommaire

Mots-clés

Autres titres de la collection: Oxford Logic Guides

Afficher tout
Positive Topology
A New Practice in Constructive Mathematics
Oxford Academic, 2025
978-0-19-923288-8
env. 195.00 CHF
paraît en octobre
Fragments of First-Order Logic
Oxford Academic, 2023
978-0-19-286796-4
env. 220.00 CHF
livrable dans env. 10-20 jours
Consequence Relations
An Introduction to the Lindenbaum-Tarski Method
Oxford Academic, 2022
978-0-19-286641-7
env. 156.00 CHF
livrable dans env. 10-20 jours
Set Theory
Boolean-Valued Models and Independence Proofs
Oxford University Press, 2011
978-0-19-960916-1
env. 86.00 CHF
livrable dans env. 10-20 jours
Category Theory
Oxford Academic, 2010
978-0-19-923718-0
env. 100.00 CHF
livrable dans env. 10-20 jours
Computability and Randomness
Oxford Academic, 2009
978-0-19-923076-1
env. 220.00 CHF
livrable dans env. 10-20 jours
Reductive Logic and Proof-search
Proof Theory, Semantics, and Control
Oxford University Press, 2004
978-0-19-852633-9
env. 256.00 CHF
livrable dans env. 10-20 jours
Change, Choice and Inference
A study of Belief Revision and Nonmonotonic Reasoning
Oxford Academic, 2001
978-0-19-850306-4
env. 300.00 CHF
livrable dans env. 10-20 jours
Algebraic Methods in Philosophical Logic
Oxford Academic, 2001
978-0-19-853192-0
env. 300.00 CHF
livrable dans env. 10-20 jours
Elements of Intuitionism
Oxford Academic, 2000
978-0-19-850524-2
env. 356.00 CHF
livrable dans env. 10-20 jours
Temporal Logic: Volume 2
Oxford Academic, 2000
978-0-19-853768-7
env. 346.00 CHF
livrable dans env. 10-20 jours
Modal Logic
Oxford Academic, 1997
978-0-19-853779-3
env. 396.00 CHF
livrable dans env. 10-20 jours

Autres titres sur ce thème

Tidy Together
A Team Exercise in Empirical Software Design
O'Reilly, 2025
978-1-0981-7876-5
env. 54.50 CHF
paraît en octobre
Cryptocurrency Forensics and Investigation using Open Source Intelligence ...
Taylor and Francis, 2025
978-1-032-30460-1
env. 179.00 CHF
paraît en novembre
Securing Android Apps
A Practical Approach for Secure Development
Taylor and Francis, 2025
978-1-041-07044-3
env. 179.00 CHF
paraît en novembre
Philosophical Logic: A Phenomenological Approach
Ingram Publishers Services, 2026
978-981-9813-28-5
env. 179.00 CHF
paraît en janvier