Pocket

Categorical Logic and Type Theory

B. Jacobs

Beskrivning:

Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.

Fakta

Förlag:: Elsevier Science & Technology
ISBN:: 9780444508539
Bandtyp:: Pocket
Utgiven:: 2001-05-24
Språk:: Engelska
Antal Sidor:: 780
ISBN-10:: 0444508538

Priser hos nätbutiker

Mervärde	Pris	Tillgänglighet	Leveranstid	Inkl frakt	Länkar
Över 6 miljoner titlar Fraktfritt över 100kr Medmera-återbäring på alla köp	849.00 kr	I lager	10-15 dagar	849.00 kr	Till butik
Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser	954.00 kr	I lager	2-5 dagar	954.00 kr	Till butik
Alltid störst sortiment Bonustrappa; samla inköp och få unika erbjudanden	1139.00 kr	I lager	5-15 dagar	1139.00 kr	Till butik

Obs! Glöm inte att alltid kolla priset hos återförsäljaren!