Metamathematics, machines, and Gödel's proof /

Autor Shankar, N.
Vydáno 1994

Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

Vydáno 2006