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 2895052 obálek a 875008 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Andrews, P. B.

Nahlásit porušení duševního vlastnictví, nebo práva na ochranu soukromí.

Autor: Andrews, P. B.
Rok: 1937-

Biogr./Hist. údaje: Americký matematik, zaměřený na matematickou logiku.
Zdroj: Autoritní databáze Národní knihovny ČR

P. B. Andrews

Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics at Carnegie Mellon University in Pittsburgh, Pennsylvania. He received his Ph.D. from Princeton University in 1964 under the tutelage of Alonzo Church. He received the Herbrand Award in 2003. His research group designed the TPS automated theorem prover. A subsystem ETPS (Educational Theorem Proving System) of TPS is used to help students learn logic by interactively constructing natural deduction proofs.

Pro přidání, nebo úpravu fotografie autora se prosím přihlaste: