Du sparer 0% ift. normalprisen Spar 0%

Hardback
8-11 hverdage
1.343,95 kr.

Bag om Logic Colloquium '96

This volume presents the proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain. The main topics were model theory, proof theory, recursion and complexity theory, models of arithmetic, logic for artificial intelligence, formal semantics of natural language, and philosophy of contemporary logic.

Vis mere

Sprog:
Engelsk

ISBN:
9781107166080

Forlag:
Cambridge University Press

Indbinding:
Hardback

Sideantal:
269

Udgivet:
2. marts 2017

Størrelse:
157x235x25 mm.

Vægt:
500 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 10. december 2024

På lager

Forlænget returret til d. 31. januar 2025

Normalpris

BLACK WEEK
1.343,95 kr. + Fragt
~~1.343,95 kr.~~

Medlemspris

1.293,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Logic Colloquium '96

This volume presents the proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain. The main topics were model theory, proof theory, recursion and complexity theory, models of arithmetic, logic for artificial intelligence, formal semantics of natural language, and philosophy of contemporary logic.

Brugerbedømmelser af Logic Colloquium '96

Andre købte også..

Find lignende bøger

Bogen Logic Colloquium '96 findes i følgende kategorier:

Business og læring

Logic Colloquium '96 - Bog

Beskrivelse af Logic Colloquium '96

Brugerbedømmelser af Logic Colloquium '96

Gør som tusindvis af andre bogelskere