PBCD

Vis mig kun

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

Slenderness: Volume 1, Abelian Categories

Slenderness: Volume 1, Abelian Categories

Dimitric, Radoslav

1021,49 DKK

(Co)end Calculus

(Co)end Calculus

Loregian, Fosco

509,93 DKK

Lambda Calculus with Types

Lambda Calculus with Types

Statman, Richard

729,17 DKK

Logical Approach to Automatic Sequences

Logical Approach to Automatic Sequences

Shallit, Jeffrey

656,09 DKK

Algorithmic Randomness

Algorithmic Randomness

Porter, Christopher P.

948,41 DKK

Abstract Recursion and Intrinsic Complexity

Abstract Recursion and Intrinsic Complexity

Moschovakis, Yiannis N.

1021,49 DKK

Fast Track to Forcing

Fast Track to Forcing

Dzamonja, Mirna

265,81 DKK

Invitation to Applied Category Theory

Invitation to Applied Category Theory

Spivak, David I.

403,64 DKK

Logic Colloquium '03

Logic Colloquium '03

Vaananen, Jouko

802,25 DKK

Course in Mathematical Logic

Course in Mathematical Logic

Machover, M.

473,39 DKK

Logic Colloquium '02

Logic Colloquium '02

Pohlers, Wolfram

692,63 DKK

Stable Groups

Stable Groups

Wagner, F.

288,10 DKK

Model Theory of Stochastic Processes

Model Theory of Stochastic Processes

Keisler, H. Jerome

473,39 DKK

Groups, Languages and Automata

Groups, Languages and Automata

Rover, Claas E.

329,95 DKK