PBCD

Vis mig kun

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

Many-Dimensional Modal Logics: Theory and Applications

Many-Dimensional Modal Logics: Theory and Applications

Gabbay, Dov M.

1313,81 DKK

Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism

Urzyczyn, Pawel

1021,49 DKK

Admissibility of Logical Inference Rules

Admissibility of Logical Inference Rules

Rybakov, V.V.

1167,65 DKK

Moment of Proof

Moment of Proof

Benson, Donald C.

110,96 DKK

Error of Truth

Error of Truth

Osterlind, Steven J.

238,03 DKK

Computation and its Limits

Computation and its Limits

Michaelson, Gregory

253,01 DKK

Intelligent Data Analysis for Biomedical Applications

Intelligent Data Analysis for Biomedical Applications

Balas, Valentina Emilia

1094,57 DKK

Foundations of Mathematics

Foundations of Mathematics

Tall, David

177,19 DKK

Intelligent Data Analysis for Biomedical Applications

Intelligent Data Analysis for Biomedical Applications

Balas, Valentina Emilia

1094,57 DKK

Multiagent Systems

Multiagent Systems

Leyton-Brown, Kevin

473,39 DKK

Conceptual Mathematics

Conceptual Mathematics

Schanuel, Stephen H.

436,85 DKK

Analysis and Logic

Analysis and Logic

Odell, Edward

265,81 DKK

Automata Theory with Modern Applications

Automata Theory with Modern Applications

Anderson, James A.

1021,49 DKK

Introduction to Model Theory

Introduction to Model Theory

Rothmaler, Philipp

692,63 DKK

Classical and Nonclassical Logics

Classical and Nonclassical Logics

Schechter, Eric

1021,49 DKK

Continuous Lattices and Domains

Continuous Lattices and Domains

Scott, D. S.

2190,77 DKK

Hierarchy of Turing Degrees

Hierarchy of Turing Degrees

Greenberg, Noam

583,01 DKK

Model Theory and Modules

Model Theory and Modules

Prest, M.

310,39 DKK

Description Logic Handbook

Description Logic Handbook

Patel-Schneider, Peter F.

1240,73 DKK