Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.

Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 2909516 obálek a 879138 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

An introduction to formal logic

Autor: Smith, Peter
Rok: c2003
ISBN: 9780521008044
OKCZID: 110221079
Vydání: 1st publ.

Citace (dle ČSN ISO 690):
SMITH, Peter. An introduction to formal logic. 1st publ. Cambridge: Cambridge University Press, c2003. viii, 357 s.


Anotace

Upravit anotaci
 

Peter Smith introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible "tree" method. His commentary is supplemented with examples and exercises, making the text appropriate for a first logic course. The book will also provide a basis for further research in formal and philosophical logic.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)