PBCD

Vis mig kun

Lambda-Calculus and Combinators

Lambda-Calculus and Combinators

Seldin, Jonathan P.

656,09 DKK

Description Logic Handbook

Description Logic Handbook

Patel-Schneider, Peter

2190,77 DKK

Logic of Reliable Inquiry

Logic of Reliable Inquiry

Kelly, Kevin T.

2190,77 DKK

Introduction to Logic and to the Methodology of the Deductive Sciences

Introduction to Logic and to the Methodology of the Deductive Sciences

Tarski, Alfred

1167,65 DKK

New Constructions in Cellular Automata

New Constructions in Cellular Automata

Moore, Cristopher

583,01 DKK

Handbook of Fourier Analysis & Its Applications

Handbook of Fourier Analysis & Its Applications

II, Robert J Marks

1313,81 DKK

Taking Sudoku Seriously

Taking Sudoku Seriously

Taalman, Laura

280,67 DKK

Error of Truth

Error of Truth

Osterlind, Steven J.

260,50 DKK

Multidimensional Programming

Multidimensional Programming

Wadge, W. W.

729,17 DKK

Taking Sudoku Seriously

Taking Sudoku Seriously

Taalman, Laura

223,05 DKK

Computation and its Limits

Computation and its Limits

Michaelson, Gregory

280,67 DKK

Subsystems of Second Order Arithmetic

Subsystems of Second Order Arithmetic

Simpson, Stephen G.

436,85 DKK

Proofs 101

Proofs 101

Kirtland, Joseph

436,85 DKK

Transition to Advanced Mathematics

Transition to Advanced Mathematics

Lovett, Stephen

802,25 DKK

Models for Concurrency

Models for Concurrency

Abraham, Uri

436,85 DKK

GCHQ Puzzle Book

GCHQ Puzzle Book

GCHQ

117,05 DKK

Transition to Advanced Mathematics

Transition to Advanced Mathematics

Lovett, Stephen

802,25 DKK

Penguin Book of Puzzles

Penguin Book of Puzzles

Moore, Gareth

117,05 DKK

Model Theory of Groups and Automorphism Groups

Model Theory of Groups and Automorphism Groups

Evans, David M.

473,39 DKK

Multimedia Encryption and Authentication Techniques and Applications

Multimedia Encryption and Authentication Techniques and Applications

Kirovski, Darko

509,93 DKK

Calculus for Engineering Students

Calculus for Engineering Students

Richtarikova, Daniela

802,25 DKK

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

Tourlakis, George

692,63 DKK

Systems Engineering Using SDL-92

Systems Engineering Using SDL-92

Olsen, A.

436,85 DKK

Handbook of Process Algebra

Handbook of Process Algebra

Smolka, S.A.

2190,77 DKK

Relation Algebras by Games

Relation Algebras by Games

Hodkinson, Ian

1167,65 DKK

Coherent Systems

Coherent Systems

Schlechta, Karl

1459,97 DKK

Logic Colloquium '84

Logic Colloquium '84

Wilmers, G.M.

161,96 DKK

Point-Counting and the Zilber-Pink Conjecture

Point-Counting and the Zilber-Pink Conjecture

Pila, Jonathan

948,41 DKK

Proper and Improper Forcing

Proper and Improper Forcing

Shelah, Saharon

2190,77 DKK

Essential Stability Theory

Essential Stability Theory

Buechler, Steven

1167,65 DKK