Biblioteca da Universidade do Minho catalog › Results of search for 'Oxford texts in logic'

		Proof and disproof in formal logic : an introduction for programmers / Richard Bornat Monografia Publication Oxford : Oxford University Press, cop. 2005 Description XIX, 243 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman Monografia Publication Oxford : Oxford University Press, imp. 2006 Description XX, 431 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Mathematical logic / Ian Chiswell and Wilfrid Hodges Monografia Publication Oxford : Oxford University Press, 2007 Description VIII, 250 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Checked out (1). 1 2 3 4 5 Place hold Add to cart (remove)
		A first course in logic : an introduction in model theory, proof theory, computability, and complexity / Shawn Hedman Monografia Publication Oxford : Oxford University, cop. 2004 Description XX, 431 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)

Biblioteca da Universidade do Minho