Saxo Access Kurv

PBCD

Vis søgefilter Nulstil

Vis mig kun

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

Essential Logic for Computer Science

Essential Logic for Computer Science

Gamboa, Ruben

352,06 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

Lectures in Logic and Set Theory: Volume 2, Set Theory

Lectures in Logic and Set Theory: Volume 2, Set Theory

Tourlakis, George

948,41 DKK

Inverse Problems and Related Topics

Inverse Problems and Related Topics

Seo, Jin Kean

2190,77 DKK

Handbook of Logic and Language

Handbook of Logic and Language

Meulen, Alice ter

1240,73 DKK

Logic Colloquium '85

Logic Colloquium '85

Group, The Paris Logic The Paris Logic

656,09 DKK

Constraint Logic Programming using Eclipse

Constraint Logic Programming using Eclipse

Wallace, Mark

619,55 DKK

Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity

Nguyen, Phuong

619,55 DKK

Advanced Smart Computing Technologies in Cybersecurity and Forensics

Advanced Smart Computing Technologies in Cybersecurity and Forensics

Kumar, Manoj

802,25 DKK

Finite Ordered Sets

Finite Ordered Sets

Monjardet, Bernard

802,25 DKK

Reverse Mathematics 2001

Reverse Mathematics 2001

Simpson, Stephen G.

802,25 DKK

Relational Mathematics

Relational Mathematics

Schmidt, Gunther

875,33 DKK

Computer Security Literacy

Computer Security Literacy

Idziorek, Joseph

473,39 DKK

Invitation to Applied Category Theory

Invitation to Applied Category Theory

Spivak, David I.

403,64 DKK

Finite-State Techniques

Finite-State Techniques

Schulz, Klaus U.

619,55 DKK

Effective Mathematics of the Uncountable

Effective Mathematics of the Uncountable

Miller, Russell

1021,49 DKK

Set Theory for the Working Mathematician

Set Theory for the Working Mathematician

Ciesielski, Krzysztof

403,64 DKK

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Grohe, Martin

1313,81 DKK