Ergebnisse filtern
-
- 36
-
- 3
- 24
- 8
- 1
-
- 4
- 32
-
- 36
-
- 35
- 1
-
- 36
-
Chagrov / Zakharyaschev Modal Logic
Erscheinungsjahr 1997Verlag: OUP OxfordISBN: 978-0-19-853779-3Medium: Buch349,20 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gabbay / Finger / Reynolds Temporal Logic
Mathematical Foundations and Computational Aspects Volume 2Erscheinungsjahr 2000Verlag: OUP OxfordISBN: 978-0-19-853768-7Medium: Buch303,70 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pratt-Hartmann Fragments of First-Order Logic
Erscheinungsjahr 2023Verlag: Oxford University PressISBN: 978-0-19-286796-4Medium: Buch177,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dunn / Hardegree Algebraic Methods in Philosophical Logic
Erscheinungsjahr 2001Verlag: OUP OxfordISBN: 978-0-19-853192-0Medium: Buch257,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pym / Ritter Reductive Logic and Proof-Search
Proof Theory, Semantics, and ControlErscheinungsjahr 2004Verlag: OUP OxfordISBN: 978-0-19-852633-9Medium: Buch220,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tarski Introduction to Logic and to the Methodology of the Deductive Sciences
4th AuflageVerlag: Oxford University PressISBN: 978-0-19-504472-0Medium: Buch387,20 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gabbay / Maksimova Interpolation and Definability
Modal and Intuitionistic LogicErscheinungsjahr 2005Verlag: OUP OxfordISBN: 978-0-19-851174-8Medium: Buch252,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shapiro Foundations Without Foundationalism
A Case for Second-Order LogicErscheinungsjahr 1999Verlag: OUP OxfordISBN: 978-0-19-853391-7Medium: Buch96,70 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cleave A Study of Logics
Erscheinungsjahr 1991Verlag: OUP OxfordISBN: 978-0-19-853211-8Medium: Buch262,10 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Malinowski Many-Valued Logics
Erscheinungsjahr 1993Verlag: OUP OxfordISBN: 978-0-19-853787-8Medium: Buch174,40 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gabbay Fibring Logics
Erscheinungsjahr 1998Verlag: OUP OxfordISBN: 978-0-19-850381-1Medium: Buch166,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gabbay Labelled Deductive Systems
Volume 1Erscheinungsjahr 1996Verlag: OUP OxfordISBN: 978-0-19-853833-2Medium: Buch121,30 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pillay Geometric Stability Theory
Erscheinungsjahr 1996Verlag: OUP OxfordISBN: 978-0-19-853437-2Medium: Buch186,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rott Change, Choice and Inference
A Study of Belief Revision and Nonmonotonic ReasoningErscheinungsjahr 2001Verlag: OUP OxfordISBN: 978-0-19-850306-4Medium: Buch256,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McLarty Elementary Categories, Elementary Toposes
Erscheinungsjahr 1995Verlag: OUP OxfordISBN: 978-0-19-851473-2Medium: Buch191,40 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kaye MODELS PEANO ARITH OLG 15 C
Erscheinungsjahr 2012Verlag: Oxford University Press (UK)ISBN: 978-0-19-853213-2Medium: Buch231,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Manzano Model Theory
Erscheinungsjahr 1999Verlag: OUP OxfordISBN: 978-0-19-853851-6Medium: Buch256,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Johnstone SKETCHES ELEPHANT V1 OLG 43 C
Erscheinungsjahr 2002Verlag: ACADEMICISBN: 978-0-19-853425-9Medium: Buch399,30 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Citkin / Muravitsky Consequence Relations
An Introduction to the Lindenbaum-Tarski MethodErscheinungsjahr 2022Verlag: Oxford University PressISBN: 978-0-19-286641-7Medium: Buch121,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sambin Positive Topology
A New Practice in Constructive MathematicsErscheinungsjahr 2026Verlag: Oxford University PressISBN: 978-0-19-923288-8Medium: Buch127,50 € (inkl. MwSt.)
vorbestellbar -
Hallett Cantorian Set Theory and Limitation of Size
Erscheinungsjahr 1986Verlag: OUP OxfordISBN: 978-0-19-853283-5Medium: Buch257,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sandewall Features and Fluents
The Representation of Knowledge about Dynamical Systems Volume 1Erscheinungsjahr 1995Verlag: OUP OxfordISBN: 978-0-19-853845-5Medium: Buch110,20 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clote / Krajícek Arithmetic, Proof Theory, and Computational Complexity
Erscheinungsjahr 1993Verlag: OUP OxfordISBN: 978-0-19-853690-1Medium: Buch120,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sambin / Smith Twenty-Five Years of Constructive Type Theory
Proceedings of a Congress Held in Venice, October 1995Erscheinungsjahr 1998Verlag: OUP OxfordISBN: 978-0-19-850127-5Medium: Buch130,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kossak / Schmerl The Structure of Models of Peano Arithmetic
Erscheinungsjahr 2006Verlag: OUP OxfordISBN: 978-0-19-856827-8Medium: Buch195,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort