- 5 resultaten
laagste prijs: € 115,56, hoogste prijs: € 158,79, gemiddelde prijs: € 129,38
1
Cut Elimination in Categories - K. Dosen
bestellen
bij Springer.com
€ 118,99
bestellen
Details en verzending
Gesponsorde link
K. Dosen:

Cut Elimination in Categories - nieuw boek

ISBN: 9789401712071

Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in … Meer...

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
2
Cut Elimination in Categories - K. Dosen
bestellen
bij Springer.com
€ 118,99
bestellen
Details en verzending
Gesponsorde link

K. Dosen:

Cut Elimination in Categories - nieuw boek

ISBN: 9789401712071

Philosophy; Logic; Mathematical Logic and Foundations; Category Theory, Homological Algebra; Symbolic and Algebraic Manipulation Cut-elimination theorem, category theory, logic, proof, pr… Meer...

  - Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
3
Cut Elimination in Categories - K. Dosen
bestellen
bij lehmanns.de
€ 115,56
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
K. Dosen:
Cut Elimination in Categories - nieuw boek

2013

ISBN: 9789401712071

eBooks, eBook Download (PDF), [PU: Springer Netherlands], Springer Netherlands, 2013

Verzendingskosten:Download sofort lieferbar. (EUR 0.00)
dichtslaan (X)
4
Cut Elimination in Categories - K. Dosen
bestellen
bij lehmanns.de
€ 134,57
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
K. Dosen:
Cut Elimination in Categories - nieuw boek

2013, ISBN: 9789401712071

eBook Download (PDF), eBooks, [PU: Springer Netherlands]

Verzendingskosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
dichtslaan (X)
5
Cut Elimination in Categories - K. Dosen
bestellen
bij lehmanns.de
€ 158,79
verzending: € 13,951
bestellen
Details aangeboden
Gesponsorde link
K. Dosen:
Cut Elimination in Categories - nieuw boek

2013, ISBN: 9789401712071

eBook Download (PDF), eBooks, [PU: Springer]

Verzendingskosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 13.95)
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Cut Elimination in Categories
auteur:
Titel:
ISBN:

9789401712071

Gedetalleerde informatie over het boek. - Cut Elimination in Categories


EAN (ISBN-13): 9789401712071
Verschijningsjaar: 2013
Uitgever: Springer Netherlands

Boek bevindt zich in het datenbestand sinds 2015-11-25T00:35:22+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-04-08T02:26:16+02:00 (Amsterdam)
ISBN/EAN: 9789401712071

ISBN - alternatieve schrijfwijzen:
978-94-017-1207-1
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: dose
Titel van het boek: cut

Gegevens van de uitgever

Auteur: K. Dosen
Titel: Trends in Logic; Cut Elimination in Categories
Uitgeverij: Springer; Springer Netherland
229 Bladzijden
Verschijningsjaar: 2013-04-18
Dordrecht; NL
Taal: Engels
149,79 € (DE)
154,00 € (AT)
177,00 CHF (CH)
Available
XII, 229 p.

EA; E107; eBook; Nonbooks, PBS / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Cut-elimination theorem; category theory; logic; proof; proof theory; C; Logic; Mathematical Logic and Foundations; Category Theory, Homological Algebra; Symbolic and Algebraic Manipulation; Mathematics and Statistics; Mathematik: Logik; Mathematische Grundlagen; Algebra; Mathematik für Informatiker; BB

2. Functors.- 3. Natural Transformations.- 4. Adjunctions.- 5. Comonads.- 6. Cartesian Categories.- Conclusion.- References.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9789048152261 Cut Elimination in Categories by K. Dosen Paperback | Indigo Chapters (K. Dosen)

< naar Archief...