Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Reflections on the foundations of mathematics : essays in honor of Solomon Feferman / ed. Wilfried Sieg, Richard Sommer, Carolyn Talcott Monografia Publication Urbana, Ill. : Asociation for Symbolic Logic, cop. 2002 Description VIII, 444 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 / Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems ; ed. Scott F. Smith, Carolyn L. Talcott Monografia Publication Bosto : Kluwer Academic Publishers, cop. 2000 Description XII, 417 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart