Dansk
PBCD
Vis søgefilter Nulstil
Slenderness: Volume 1, Abelian Categories
Dimitric, Radoslav1021,49 DKK
(Co)end Calculus
Loregian, Fosco509,93 DKK
Lambda Calculus with Types
Statman, Richard729,17 DKK
Logical Approach to Automatic Sequences
Shallit, Jeffrey656,09 DKK
Algorithmic Randomness
Porter, Christopher P.948,41 DKK
Abstract Recursion and Intrinsic Complexity
Moschovakis, Yiannis N.1021,49 DKK
Fast Track to Forcing
Dzamonja, Mirna265,81 DKK
Invitation to Applied Category Theory
Spivak, David I.403,64 DKK
Logic Colloquium '03
Vaananen, Jouko802,25 DKK
Course in Mathematical Logic
Machover, M.473,39 DKK
Logic Colloquium '02
Pohlers, Wolfram692,63 DKK
Stable Groups
Wagner, F.288,10 DKK
Model Theory of Stochastic Processes
Keisler, H. Jerome473,39 DKK
Groups, Languages and Automata
Rover, Claas E.329,95 DKK
Formal Geometry and Bordism Operations
Peterson, Eric692,63 DKK
Sets and Proofs
Truss, John K.343,95 DKK
Homotopy Theory of (infinity,1)-Categories
Bergner, Julia E.310,39 DKK
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Grohe, Martin1313,81 DKK
Proof Complexity
Krajicek, Jan1094,57 DKK
Notre Dame Lectures
Cholak, Peter509,93 DKK
Lambda Calculus with Types
Statman, Richard729,17 DKK
Elements of infinity-Category Theory
Verity, Dominic583,01 DKK
Sets, Models and Proofs
Oosten, Jaap van265,81 DKK
Nonstandard Methods and Applications in Mathematics
Ross, David A.583,01 DKK
Mathematical Logic and Computation
Avigad, Jeremy473,39 DKK
Spectral Spaces
Tressl, Marcus1313,81 DKK
Mathematical Logic through Python
Nisan, Noam223,05 DKK
Groups, Languages and Automata
Rover, Claas E.329,95 DKK
Effective Mathematics of the Uncountable
Miller, Russell1021,49 DKK
Models and Games
Vaananen, Jouko509,93 DKK
Boolean Functions
Hammer, Peter L.1167,65 DKK
Recursion-Theoretic Hierarchies
Hinman, Peter G.1313,81 DKK
Introduction to Bisimulation and Coinduction
Sangiorgi, Davide619,55 DKK
Descriptive Set Theory and Forcing
Miller, Arnold W.1021,49 DKK
Godel '96
Hajek, Petr1021,49 DKK
Introduction to Category Theory
Simmons, Harold230,54 DKK