Studiebog

Categorical Logic and Type Theory

- Criticism of the Works of Novelists, Poets, Playwrights, Short-Story Writers, and Other Creative Writers Who Liv (Volume 141)

B. Jacobs

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Studies in Logic and the Foundations of Mathematics, Vol 141

Normalpris: kr. 174,95

Medlemspris: kr. 159,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 8-11 Hverdage (Sendes fra fjernlager)
Forventet levering: 09-12-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal780
Udgivelsesdato23-10-2013
ISBN139780444508539
Forlag Elsevier Science & Technology
Nummer i serien429
FormatPaperback

Størrelse og vægt

Vægt1200 g

Dybde2,7 cm

10 cm

15,6 cm

23,3 cm

Categorical Logic and Type Theory

- Criticism of the Works of Novelists, Poets, Playwrights, Short-Story Writers, and Other Creative Writers Who Liv (Volume 141)

Findes i disse kategorier...

Se andre, der handler om...