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 3150393 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Logic Colloquium'87 : Proceedings of the Colloquium
Rok: 1989
ISBN: 9780444880222
OKCZID: 110031727
Citace (dle ČSN ISO 690):
LASCAR, D., ed., EBBINGHAUS, H.-D., ed., FERNANDEZ-PRIDA, J., ed. a GARRIDO, M., ed. Logic Colloquium'87: Proceedings of the Colloquium. Amsterdam: North-Holland, 1989. 375 s. Studies in Logic and the Foundations of Mathematics;, 129.
Anotace
Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.