Log in to your account
Andrews,, Peter B.,, 1937-
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews . - Orlando : Academic Press, 1986 . - XV, 304 p. 24 cm . - (Computer science and applied mathematics)
0-12-058535-9 Encadernado0-12-058536-7 Brochado
510.6
An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews . - Orlando : Academic Press, 1986 . - XV, 304 p. 24 cm . - (Computer science and applied mathematics)
0-12-058535-9 Encadernado0-12-058536-7 Brochado
510.6
Exporting to Dublin Core...
Bibliotecas Libraries
Serviços Services
Contactos gerais Contacts
- Serviço de Documentação e Bibliotecas
- Campus de Gualtar, Edifício 04
- 4710-057 Braga
- +351 253 604 150
- usdb@usdb.uminho.pt
- http://www.sdum.uminho.pt
- Serviço de Documentação e Bibliotecas
- Campus de Gualtar, Edifício 04
- 4710-057 Braga
- +351 253 604 150
- usdb@usdb.uminho.pt
