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?

Natural Deduction: A Proof-Theoretical Study

Rok: 2006
ISBN: 9780486446554
OKCZID: 110031151

Citace (dle ČSN ISO 690):
PRAWITZ, Dag. Natural deduction: a proof-theoretical study. Dover ed., 1st. publ. Mineola, N.Y.: Dover Publications, 2006. viii, 113 s. Dover books on mathematics.


Anotace

Upravit anotaci
 

Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)