Fler böcker inom

Matematisk logik

Format: E-bok
Filformat: PDF med LCP-kryptering (0.0 MB)
Om LCP-kryptering
PDF-böcker lämpar sig inte för läsning på små skärmar, t ex mobiler.
Nedladdning: Kan laddas ned under 24 månader, dock max 6 gånger.
Språk: Engelska
Utgivningsdatum: 2011-10-10
Förlag: Elsevier Science
ISBN: 9780080960432

Logic Colloquium '84 E-bok

Name: Logic Colloquium '84
Price: 280.00 SEK
Availability: InStock
Author: J B Paris, A J Wilkie, G M Wilmers
ISBN: 9780080960432

av J B Paris, A J Wilkie, G M Wilmers

E-bok (PDF, LCP), Engelska, 2011-10-10

280

Ladda ned

Spara som favorit

Läs i Bokus Reader för iOS och Android

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.

Visa hela texten