Lataa...
Deducibility and decidability /
This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.
| Päätekijä: | Gill, R. R. Rockingham |
|---|---|
| Aineistotyyppi: | Printed Book |
| Kieli: | English |
| Julkaistu: |
London ; New York :
Routledge,
1990.
|
| Aiheet: | |
| Linkit: | http://www.loc.gov/catdir/enhancements/fy0648/89027524-d.html |
Samankaltaisia teoksia
-
Deciding What to Teach
Tekijä: Faser, Dorothy M
Julkaistu: (1960) -
A textbook of logic
Tekijä: Krishna Jain; Author
Julkaistu: (2009) -
Profile of mathematical logic
Tekijä: Delong, Horward
Julkaistu: (1970) -
Classical theory of first order logic
Tekijä: Pampapathy Rao, A; Author
Julkaistu: (1970) -
Classical theory of first order logic
Tekijä: Pampapathy Rao, A; Author
Julkaistu: (1970)