Proof and disproof in formal logic : an introduction for programmers /
| Основен автор: | Bornat, Richard, 1944- |
|---|---|
| Формат: | Електронна книга |
| Език: | English |
| Публикувано: |
Oxford ; New York :
Oxford University Press,
2005.
|
| Серия: |
Oxford texts in logic ;
2. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=150234 |
| Подобни документи: |
Print version::
Proof and disproof in formal logic. |
| Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=150234 |
|---|
| Провери в Paniza Library, AUBG | Сигнатура: |
BC173 .B67 2005eb |
|---|