Skip to content
You are not logged in |Login  
     
Limit search to available items
7 results found. Sorted by relevance | date | title .
Keywords (1-7 of 7)
entries 1-1
1
Bestseller
BestsellerE-book
 

Cafe : an industrial-strength algebraic formal method



Amsterdam ; New York : Elsevier, 2000.
1st ed.

Rating:

Item Status

entries 2-7
2
Bestseller
BestsellerE-book
 

Geometric and cohomological group theory



Cambridge ; New York : Cambridge University Press, 2018.

Rating:

Item Status

3
Bestseller
BestsellerE-book
 

Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbo


Logic Colloquium (1995 : Haifa, Israel)
Cambridge : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, [2016]

Rating:

Item Status

4
Bestseller
BestsellerE-book
 

Quantitative logic and soft computing : proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 201


International Conference on Quantitative Logic and Soft Computing (3rd : 2012 : Xi'an, China)
Singapore : World Scientific, 2012.

Rating:

Item Status

5
Bestseller
BestsellerE-book
 

Logic Colloquium 2006


Logic Colloquium (2006 : Nijmegen, Netherlands)
Cambridge ; New York : Cambridge University Press ; [Poughkeepsie, N.Y.] : Association for Symbolic Logic, 2009.

Rating:

Item Status

6
Bestseller
BestsellerE-book
 

Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-


Asian Logic Conference (9th : 2005 : Novosibirsk, Russia)
Singapore ; Hackensack, NJ : World Scientific, [2006]

Rating:

Item Status

7
Bestseller
BestsellerE-book
 

Proceedings of the 7th & 8th Asian Logic Conferences : Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, C


Asian Logic Conference (7th : 1999 : Hsi-Tou, Taiwan)
New Jersey ; London : World Scientific, [2003]

Rating:

Item Status

Resources
More Information