Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 / editors J.B. Paris, A.J. Wilkie, G.M. Wilmers.

By:

Logic Colloquium '84 (1984 : Manchester)

Contributor(s):

Language: English Summary language: French Series: Studies in logic and foundations of mathematics ; v. 120.1986Description: 1 online resource (x, 377 pages) : illustrationsContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9780080960432
008096043X
9780444879998
0444879994

Subject(s):

Genre/Form:

Electronic books.

Additional physical formats: Print version:: Logic Colloquium '84.LOC classification:

BC135 .L63 1984eb
QA9.A1 L63 1984eb

Online resources:

Click here to access online

Action note:

digitized 2010 HathiTrust Digital Library committed to preserve

Summary: This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines.

Item type:

eBooks

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Title notes ( 8 )

No physical items for this record

This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting advances in these disciplines.

Includes bibliographical references.

Includes one chapter in French.

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL

http://purl.oclc.org/DLF/benchrepro0212

digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL

Print version record.

Elsevier ScienceDirect All Books