Saxo Access
Indkøbskurv

PBC

Vis søgefilter

Vis mig kun

Computation, Logic, Philosophy

Computation, Logic, Philosophy

Hao, Wang

875,33 DKK

Advances in Natural Deduction

Advances in Natural Deduction

Paiva, Valeria de

1021,49 DKK

Papers in Honour of Bernhard Banaschewski

Papers in Honour of Bernhard Banaschewski

Gilmour, Christopher

1240,73 DKK

Nonstandard Methods of Analysis

Nonstandard Methods of Analysis

Kutateladze, Semen Samsonovich

875,33 DKK

Theory of Lattice-Ordered Groups

Theory of Lattice-Ordered Groups

Medvedev, N.Ya.

875,33 DKK

Automated Mathematical Induction

Automated Mathematical Induction

Zhang, Hantao

875,33 DKK

Resolution Proof Systems

Resolution Proof Systems

Stachniak, Z.

875,33 DKK

Metamathematics of Fuzzy Logic

Metamathematics of Fuzzy Logic

Hajek, Petr

2190,77 DKK

Philosophical Logic: Current Trends in Asia

Philosophical Logic: Current Trends in Asia

Ono, Hiroakira

1240,73 DKK

Lesniewski's Systems Protothetic

Lesniewski's Systems Protothetic

Stachniak, Z.

2190,77 DKK

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Guenthner, Franz

1021,49 DKK

Logical and Computational Aspects of Model-Based Reasoning

Logical and Computational Aspects of Model-Based Reasoning

Pizzi, Claudio

875,33 DKK

Fuzzy Sets Theory and Applications

Fuzzy Sets Theory and Applications

Zimmermann, Hans-Jurgen

1240,73 DKK

Quantum Structures and the Nature of Reality

Quantum Structures and the Nature of Reality

Pykacz, Jaroslaw

875,33 DKK

Topological and Algebraic Structures in Fuzzy Sets

Topological and Algebraic Structures in Fuzzy Sets

Klement, Erich Peter

1240,73 DKK

Abductive Reasoning and Learning

Abductive Reasoning and Learning

Smets, Philippe

2190,77 DKK

Räumliche Vorstellung und Mathematisches Erkenntnisvermögen

Räumliche Vorstellung und Mathematisches Erkenntnisvermögen

Themaat, P. VerLoren van

337,32 DKK

Complementarity in Mathematics

Complementarity in Mathematics

Kuyk, W.

1240,73 DKK

Handbook of Defeasible Reasoning and Uncertainty Management Systems

Handbook of Defeasible Reasoning and Uncertainty Management Systems

Smets, Philippe

2190,77 DKK

Algorithms: Main Ideas and Applications

Algorithms: Main Ideas and Applications

Semenov, A.L.

1240,73 DKK

Lewis Carroll's Cats And Rats... And Other Puzzles With Interesting Tails

Lewis Carroll's Cats And Rats... And Other Puzzles With Interesting Tails

Yossi Elran, Elran

135,33 DKK

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

Schwartz, Richard L.

1021,49 DKK

Nonstandard Analysis for the Working Mathematician

Nonstandard Analysis for the Working Mathematician

Wolff, Manfred P. H.

875,33 DKK

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Schmitt, P.H.

1240,73 DKK

Advanced Lukasiewicz calculus and MV-algebras

Advanced Lukasiewicz calculus and MV-algebras

Mundici, D.

875,33 DKK

Agent-Based Defeasible Control in Dynamic Environments

Agent-Based Defeasible Control in Dynamic Environments

Treur, Jan

2190,77 DKK

Thirty Five Years of Automating Mathematics

Thirty Five Years of Automating Mathematics

Kamareddine, F.D.

875,33 DKK

Logica

Logica

Falco, Lorenzo Tortora de

154,35 DKK

Hilbert's Program

Hilbert's Program

Detlefsen, M.

875,33 DKK