Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover

Fibring Logics

Livre (relié)150.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, 488 Pages, 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
disponible dès mai 2025
Fragments of First-Order Logic
Oxford Academic, 2023
978-0-19-286796-4
210.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
146.00 CHF
livrable dans env. 10-20 jours
Category Theory
Oxford Academic, 2010
978-0-19-923718-0
99.00 CHF
livrable dans env. 10-20 jours
Computability and Randomness
Oxford Academic, 2009
978-0-19-923076-1
126.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
256.00 CHF
livrable dans env. 10-20 jours
Algebraic Methods in Philosophical Logic
Oxford Academic, 2001
978-0-19-853192-0
210.00 CHF
livrable dans env. 10-20 jours
Elements of Intuitionism
Oxford Academic, 2000
978-0-19-850524-2
296.00 CHF
livrable dans env. 10-20 jours
Elementary Categories, Elementary Toposes
Oxford Academic, 1995
978-0-19-851473-2
126.00 CHF
livrable dans env. 10-20 jours
Diagonalization and Self-Reference
Oxford Academic, 1994
978-0-19-853450-1
266.00 CHF
livrable dans env. 10-20 jours
Arithmetic, Proof Theory, and Computational Complexity
Oxford University Press, 1993
978-0-19-853690-1
236.00 CHF
livrable dans env. 10-20 jours

Autres titres sur ce thème

Motion in Chinese
Event Conceptualization and Grammatical Realization
Springer Nature ENPeking University Press, 3000
978-981-1319-92-1
env. 116.00 CHF
disponible dès juin 3000
TEST_3
Untertitel_Test
Emons, 2191
978-3-7408-0015-4
env. 1.90 CHF
disponible dès mars 2191
Mathematical Competencies in Mathematics Education
Springer Nature EN, 2100
978-3-319-03607-6
env. 173.00 CHF
disponible dès juin 2100
The Equidistribution of Lattice Shapes of Rings of Integers of Cubic, Quartic, ...
An Artist's Rendering
Springer International Publishing, 3000
978-3-319-76531-0
env. 141.00 CHF
disponible dès juin 3000
El robot que amaba a Platón : (Grecia, libro I)
Aebius, 2103
978-84-15402-96-1
env. 27.90 CHF
disponible dès juillet 2103
El juzgador de ajedrez
Ardora Ediciones, 2104
978-84-88020-51-2
env. 39.90 CHF
disponible dès novembre 2104
Introduction to Design
Springer Nature EN, 3000
978-981-10-8140-8
env. 83.00 CHF
disponible dès juin 3000
Momentos estelares
Baile del Sol SRL, 2103
978-84-15700-41-8
env. 21.50 CHF
disponible dès décembre 2103
Humanismo-animalismo
Arena Libros S.L., 2112
978-84-95897-98-5
env. 36.50 CHF
disponible dès décembre 2112
Methods of Clinical Epidemiology
Springer Nature EN, 3000
978-3-319-65333-4
env. 146.00 CHF
disponible dès juin 3000