PBCD

Vis mig kun

Formal Geometry and Bordism Operations

Formal Geometry and Bordism Operations

Peterson, Eric

692,63 DKK

Sets and Proofs

Sets and Proofs

Truss, John K.

343,95 DKK

Homotopy Theory of (infinity,1)-Categories

Homotopy Theory of (infinity,1)-Categories

Bergner, Julia E.

310,39 DKK

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Grohe, Martin

1313,81 DKK

Proof Complexity

Proof Complexity

Krajicek, Jan

1094,57 DKK

Notre Dame Lectures

Notre Dame Lectures

Cholak, Peter

509,93 DKK

Lambda Calculus with Types

Lambda Calculus with Types

Statman, Richard

729,17 DKK

Elements of infinity-Category Theory

Elements of infinity-Category Theory

Verity, Dominic

583,01 DKK

Sets, Models and Proofs

Sets, Models and Proofs

Oosten, Jaap van

265,81 DKK

Nonstandard Methods and Applications in Mathematics

Nonstandard Methods and Applications in Mathematics

Ross, David A.

583,01 DKK

Mathematical Logic and Computation

Mathematical Logic and Computation

Avigad, Jeremy

473,39 DKK

Spectral Spaces

Spectral Spaces

Tressl, Marcus

1313,81 DKK

Mathematical Logic through Python

Mathematical Logic through Python

Nisan, Noam

223,05 DKK

Groups, Languages and Automata

Groups, Languages and Automata

Rover, Claas E.

329,95 DKK

Effective Mathematics of the Uncountable

Effective Mathematics of the Uncountable

Miller, Russell

1021,49 DKK

Models and Games

Models and Games

Vaananen, Jouko

509,93 DKK

Boolean Functions

Boolean Functions

Hammer, Peter L.

1167,65 DKK

Recursion-Theoretic Hierarchies

Recursion-Theoretic Hierarchies

Hinman, Peter G.

1313,81 DKK

Introduction to Bisimulation and Coinduction

Introduction to Bisimulation and Coinduction

Sangiorgi, Davide

619,55 DKK

Descriptive Set Theory and Forcing

Descriptive Set Theory and Forcing

Miller, Arnold W.

1021,49 DKK

Godel '96

Godel '96

Hajek, Petr

1021,49 DKK

Introduction to Category Theory

Introduction to Category Theory

Simmons, Harold

230,54 DKK

Lectures on Infinitary Model Theory

Lectures on Infinitary Model Theory

Marker, David

1021,49 DKK

Course in Model Theory

Course in Model Theory

Ziegler, Martin

509,93 DKK

Wadge Degrees and Projective Ordinals

Wadge Degrees and Projective Ordinals

Steel, John R.

583,01 DKK

Quantifiers, Propositions and Identity

Quantifiers, Propositions and Identity

Goldblatt, Robert

1021,49 DKK

Simple Theories and Hyperimaginaries

Simple Theories and Hyperimaginaries

Casanovas, Enrique

583,01 DKK

Fine Structure and Iteration Trees

Fine Structure and Iteration Trees

Steel, John R.

1021,49 DKK

Forcing with Random Variables and Proof Complexity

Forcing with Random Variables and Proof Complexity

Krajicek, Jan

509,93 DKK

Lectures on Infinitary Model Theory

Lectures on Infinitary Model Theory

Marker, David

1021,49 DKK