Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic PDF Author: Lev D. Beklemishev
Publisher: Elsevier
ISBN: 008095507X
Category : Mathematics
Languages : en
Pages : 405

Get Book Here

Book Description
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic PDF Author: Lev D. Beklemishev
Publisher: Elsevier
ISBN: 008095507X
Category : Mathematics
Languages : en
Pages : 405

Get Book Here

Book Description
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

Fields of Logic and Computation II

Fields of Logic and Computation II PDF Author: Lev D. Beklemishev
Publisher: Springer
ISBN: 3319235346
Category : Computers
Languages : en
Pages : 330

Get Book Here

Book Description
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the "Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015).

National Union Catalog

National Union Catalog PDF Author:
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 1032

Get Book Here

Book Description
Includes entries for maps and atlases.

Weekly Record

Weekly Record PDF Author:
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 516

Get Book Here

Book Description


Books in Series

Books in Series PDF Author:
Publisher:
ISBN:
Category : Monographic series
Languages : en
Pages : 1814

Get Book Here

Book Description
Vols. for 1980- issued in three parts: Series, Authors, and Titles.

American Book Publishing Record

American Book Publishing Record PDF Author:
Publisher: R. R. Bowker
ISBN:
Category : United States
Languages : en
Pages : 1286

Get Book Here

Book Description


Latin America in Books

Latin America in Books PDF Author:
Publisher:
ISBN:
Category : Latin America
Languages : en
Pages : 590

Get Book Here

Book Description


Index of Conference Proceedings Received

Index of Conference Proceedings Received PDF Author: British Library. Lending Division
Publisher:
ISBN:
Category : Conference proceedings
Languages : en
Pages : 856

Get Book Here

Book Description


Pure and Applied Science Books, 1876-1982

Pure and Applied Science Books, 1876-1982 PDF Author:
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 1374

Get Book Here

Book Description
Over 220,000 entries representing some 56,000 Library of Congress subject headings. Covers all disciplines of science and technology, e.g., engineering, agriculture, and domestic arts. Also contains at least 5000 titles published before 1876. Has many applications in libraries, information centers, and other organizations concerned with scientific and technological literature. Subject index contains main listing of entries. Each entry gives cataloging as prepared by the Library of Congress. Author/title indexes.

The Cumulative Book Index

The Cumulative Book Index PDF Author:
Publisher:
ISBN:
Category : American literature
Languages : en
Pages : 2852

Get Book Here

Book Description
A world list of books in the English language.