Saxo Access Indkøbskurv

PBCD

Vis søgefilter Nulstil

Vis mig kun

Intensional Mathematics

Intensional Mathematics

Shapiro, S.

473,39 DKK

Optimization Theory Based on Neutrosophic and Plithogenic Sets

Optimization Theory Based on Neutrosophic and Plithogenic Sets

Abdel-Basset, Mohamed

2190,77 DKK

Inductive Logic

Inductive Logic

Woods, John

2190,77 DKK

Logic Colloquium '87

Logic Colloquium '87

Artalejo, M. Rodriguez

1021,49 DKK

Transition to Abstract Mathematics

Transition to Abstract Mathematics

Maddox, Randall

509,93 DKK

British Logic in the Nineteenth Century

British Logic in the Nineteenth Century

Woods, John

2190,77 DKK

Foundations of Genetic Algorithms 1991 (FOGA 1)

Foundations of Genetic Algorithms 1991 (FOGA 1)

Rawlins, Gregory J.E.

473,39 DKK

Logic and Language

Logic and Language

Neville Dean, Dean

583,01 DKK

Numbers and Proofs

Numbers and Proofs

Allenby, Reg

436,85 DKK

Logic from Russell to Church

Logic from Russell to Church

Woods, John

2190,77 DKK

Handbook of Automated Reasoning

Handbook of Automated Reasoning

Voronkov, Andrei

2921,57 DKK

Logic: A History of its Central Concepts

Logic: A History of its Central Concepts

Woods, John

2190,77 DKK

Self-Modifying Systems in Biology and Cognitive Science

Self-Modifying Systems in Biology and Cognitive Science

Kampis, G.

619,55 DKK

Music of the Primes

Music of the Primes

Sautoy, Marcus du

70,23 DKK

Handbook of Quantum Logic and Quantum Structures

Handbook of Quantum Logic and Quantum Structures

Lehmann, Daniel

1313,81 DKK

Greek, Indian and Arabic Logic

Greek, Indian and Arabic Logic

Woods, John

1386,89 DKK

Elements of Set Theory

Elements of Set Theory

Enderton, Herbert B.

473,39 DKK

General Lattice Theory

General Lattice Theory

473,39 DKK

Nuts and Bolts of Proofs

Nuts and Bolts of Proofs

Cupillari, Antonella

25,00 DKK

Limitless Mind

Limitless Mind

Boaler, Jo

104,11 DKK

Constraints, Language and Computation

Constraints, Language and Computation

Johnson, Torrence

802,25 DKK

Handbook of Proof Theory

Handbook of Proof Theory

Buss, S.R.

1386,89 DKK

Cellular Computing

Cellular Computing

Amos, Martyn

436,85 DKK

Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism

Urzyczyn, Pawel

1021,49 DKK

Analysis and Synthesis of Singular Systems

Analysis and Synthesis of Singular Systems

Jiang, Zhengyi

1094,57 DKK

Handbook of Proof Theory

Handbook of Proof Theory

Buss, S.R.

1386,89 DKK

Logic

Logic

Hodges, Wilfrid

99,54 DKK

Analysis and Synthesis of Singular Systems

Analysis and Synthesis of Singular Systems

Jiang, Zhengyi

1094,57 DKK

Handbook of Automated Reasoning

Handbook of Automated Reasoning

Voronkov, Andrei

2921,57 DKK

Elements of Set Theory

Elements of Set Theory

Enderton, Herbert B.

473,39 DKK

Many Valued and Nonmonotonic Turn in Logic

Many Valued and Nonmonotonic Turn in Logic

Woods, John

2190,77 DKK

Computational Logic

Computational Logic

Woods, John

2190,77 DKK

Logic: A History of its Central Concepts

Logic: A History of its Central Concepts

Woods, John

2190,77 DKK

Rise of Modern Logic: from Leibniz to Frege

Rise of Modern Logic: from Leibniz to Frege

Woods, John

2190,77 DKK

Greek, Indian and Arabic Logic

Greek, Indian and Arabic Logic

Woods, John

1386,89 DKK

Southeast Asian Conference on Logic

Southeast Asian Conference on Logic

Wicks, M.J.

146,74 DKK