Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
cover

Fibring Logics

Buch (gebunden)150.00 CHF
lieferbar in ca. 10-20 Arbeitstagen

Inhalt

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.

Bibliografische Angaben

November 1998, 488 Seiten, Oxford Logic Guides, Englisch
Oxford University Press
978-0-19-850381-1

Inhaltsverzeichnis

Schlagworte

Weitere Titel der Reihe: Oxford Logic Guides

Alle anzeigen
Positive Topology
A New Practice in Constructive Mathematics
Oxford Academic, 2025
978-0-19-923288-8
ca. 195.00 CHF
erhältlich ab Mai 2025
Fragments of First-Order Logic
Oxford Academic, 2023
978-0-19-286796-4
210.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Consequence Relations
An Introduction to the Lindenbaum-Tarski Method
Oxford Academic, 2022
978-0-19-286641-7
146.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Category Theory
Oxford Academic, 2010
978-0-19-923718-0
99.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Computability and Randomness
Oxford Academic, 2009
978-0-19-923076-1
126.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Reductive Logic and Proof-search
Proof Theory, Semantics, and Control
Oxford University Press, 2004
978-0-19-852633-9
256.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Algebraic Methods in Philosophical Logic
Oxford Academic, 2001
978-0-19-853192-0
210.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Elements of Intuitionism
Oxford Academic, 2000
978-0-19-850524-2
296.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Elementary Categories, Elementary Toposes
Oxford Academic, 1995
978-0-19-851473-2
126.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Diagonalization and Self-Reference
Oxford Academic, 1994
978-0-19-853450-1
266.00 CHF
lieferbar in ca. 10-20 Arbeitstagen
Arithmetic, Proof Theory, and Computational Complexity
Oxford University Press, 1993
978-0-19-853690-1
236.00 CHF
lieferbar in ca. 10-20 Arbeitstagen

Weitere Titel zum Thema

Motion in Chinese
Event Conceptualization and Grammatical Realization
Springer Nature ENPeking University Press, 3000
978-981-1319-92-1
ca. 116.00 CHF
erhältlich ab Juni 3000
Introduction to Design
Springer Nature EN, 3000
978-981-10-8140-8
ca. 83.00 CHF
erhältlich ab Juni 3000
Spaces of Action and the Rights of Students in Chinese Universities
Springer Nature ENHigher Education Press, 3000
978-3-662-47168-5
ca. 168.00 CHF
erhältlich ab August 3000
Material Flow Management
Systems, Technology and Finance for a Sustainable Future
Springer Nature EN, 3000
978-3-540-36015-5
ca. 146.00 CHF
erhältlich ab Oktober 3000
Methods of Clinical Epidemiology
Springer Nature EN, 3000
978-3-319-65333-4
ca. 146.00 CHF
erhältlich ab Juni 3000
El robot que amaba a Platón : (Grecia, libro I)
Aebius, 2103
978-84-15402-96-1
ca. 27.90 CHF
erhältlich ab Juli 2103
El juzgador de ajedrez
Ardora Ediciones, 2104
978-84-88020-51-2
ca. 39.90 CHF
erhältlich ab November 2104
Time of the Twins
Simon & Schuster N.Y., 0216
978-1-68245-000-0
23.90 CHF
lieferbar in ca. 20-45 Arbeitstagen
Como una chica
Babidi-Bú, 2109
978-84-17448-58-5
ca. 33.50 CHF
erhältlich ab Januar 2109
TEST_3
Untertitel_Test
Emons, 2191
978-3-7408-0015-4
ca. 1.90 CHF
erhältlich ab März 2191
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
ca. 141.00 CHF
erhältlich ab Juni 3000