Compiling and Executing Finite Domain Constraints - Björn Carlsson

Price:200 SEK,Buy now.

Tree Constraints - Thorbjörn Keisu

Price:200 SEK,Buy now.

On normalization of proofs in set theory - Lars Hallnäs

Price:200 SEK,Buy now.

Sampling Theory - Des Raj

Price:200 SEK,Buy now.

Badge on item:Free shipping

Proof Methods for Modal and Intuitionistic Logics - Melvin Fitting

Price:700 SEK,Buy now.

Multiplication table

Price:50 SEK,Buy now.

Admissible Sets, and Structures - Jon Barwise

Price:280 SEK,Buy now.

Logic Colloquium '80

Price:280 SEK,Buy now.

Meta-Mathematics - Paul Lorenzen

Price:105 SEK,Buy now.

Berechenbarkeit - Recursive and Programmable Function

Price:105 SEK,Buy now.

Logic conference Kiel 1974

Price:210 SEK,Buy now.

Bernard W. Lindgren - Statistical Theory

Price:550 SEK,Buy now.