Log in to your account
Shankar,, N.
Metamathematics, machines, and Godel's proof / N. Shankar
Metamathematics, machines, and Godel's proof / N. Shankar . - Cambridge : Cambridge University Press, 1994 . - XV, 202 p. 26 cm . - (Cambridge tracts in theoretical computer science; 38)
0-521-42027-X (Encadernado)
510.6
Metamathematics, machines, and Godel's proof / N. Shankar . - Cambridge : Cambridge University Press, 1994 . - XV, 202 p. 26 cm . - (Cambridge tracts in theoretical computer science; 38)
0-521-42027-X (Encadernado)
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
