PBCD

Patel-Schneider, Peter F.

Tourlakis, George

Seo, Jin Kean

Meulen, Alice ter

Wallace, Mark

Nguyen, Phuong

Kumar, Manoj

Monjardet, Bernard

Simpson, Stephen G.

Schmidt, Gunther

Idziorek, Joseph

Spivak, David I.

Schulz, Klaus U.

Miller, Russell

Ciesielski, Krzysztof

Grohe, Martin

Dimitric, Radoslav

Loregian, Fosco

Statman, Richard

Shallit, Jeffrey

Porter, Christopher P.

Moschovakis, Yiannis N.

Dzamonja, Mirna

Spivak, David I.

Vaananen, Jouko

Machover, M.

Pohlers, Wolfram

Forrige side Næste side Side 4 / 13 (376 bøger fundet)

Vis søgefilter

Model Theory and Modules

Description Logic Handbook

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

Inverse Problems and Related Topics

Handbook of Logic and Language

Logic Colloquium '85

Constraint Logic Programming using Eclipse

Logical Foundations of Proof Complexity

Advanced Smart Computing Technologies in Cybersecurity and Forensics

Finite Ordered Sets

Reverse Mathematics 2001

Relational Mathematics

Computer Security Literacy

Invitation to Applied Category Theory

Finite-State Techniques

Effective Mathematics of the Uncountable

Set Theory for the Working Mathematician

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Slenderness: Volume 1, Abelian Categories

(Co)end Calculus

Lambda Calculus with Types

Logical Approach to Automatic Sequences

Algorithmic Randomness

Abstract Recursion and Intrinsic Complexity

Fast Track to Forcing

Invitation to Applied Category Theory

Logic Colloquium '03

Course in Mathematical Logic

Logic Colloquium '02

Stable Groups