Importo totale (1 articolo articoli):
Destinazione ordine:
basic simple type theory di hindley roger (34 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (34)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (30)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (1)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (3)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (5)
- Non Print on Demand (18)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Basic Simple Type Theory
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054222 ISBN 13: 9780521054225
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,56
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42) (Volume 0)
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054222 ISBN 13: 9780521054225
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 57,18
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Basic Simple Type Theory
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054222 ISBN 13: 9780521054225
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 56,70
Spedizione EUR 2,29
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42) (Volume 0)
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054222 ISBN 13: 9780521054225
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 51,99
Spedizione EUR 13,86
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521054222 ISBN 13: 9780521054225
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 50,66
Spedizione EUR 17,92
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Basic Simple Type Theory
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054222 ISBN 13: 9780521054225
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 51,98
Spedizione EUR 17,35
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054222 ISBN 13: 9780521054225
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 58,45
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. An introduction to type theory for computer scientists. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 200 pages, 10 b/w illus. 1 table. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 227 x 154 x 13. Weight in Grams: 314. . 2008. 1st Edition. paperback. . . . .
-
Basic Simple Type Theory
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press CUP, 2008
ISBN 10: 0521054222 ISBN 13: 9780521054225
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 200.
-
Basic Simple Type Theory
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054222 ISBN 13: 9780521054225
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,43
Spedizione EUR 17,35
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054222 ISBN 13: 9780521054225
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 72,07
Spedizione EUR 9,11
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. An introduction to type theory for computer scientists. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 200 pages, 10 b/w illus. 1 table. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 227 x 154 x 13. Weight in Grams: 314. . 2008. 1st Edition. paperback. . . . . Books ship from the US and Ireland.
-
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1997
ISBN 10: 0521465184 ISBN 13: 9780521465182
Da: Fireside Bookshop, Stroud, GLOS, Regno Unito
Membro dell'associazione: PBFA
Valutazione del venditore 5 su 5 stelle
EUR 77,43
Spedizione EUR 28,91
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCloth. Condizione: Very Good. Type: Book N.B. Small plain label to inside front cover. Slight rubbing to corners of boards and head and tail of spine.
-
Basic Simple Type Theory
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054222 ISBN 13: 9780521054225
EUR 65,42
Spedizione EUR 61,49
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system. Also featured are two other interesting algorithms that have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making the book at a level which can be used as an introduction to type theory for computer scientists.
-
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1997
ISBN 10: 0521465184 ISBN 13: 9780521465182
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 142,06
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1997
ISBN 10: 0521465184 ISBN 13: 9780521465182
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 128,83
Spedizione EUR 13,86
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1997
ISBN 10: 0521465184 ISBN 13: 9780521465182
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 144,77
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. An introduction to type theory for computer scientists. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 200 pages, 10 b/w illus. 1 table. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 16. Weight in Grams: 470. . 1997. hardcover. . . . .
-
Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1997
ISBN 10: 0521465184 ISBN 13: 9780521465182
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 182,89
Spedizione EUR 9,11
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. An introduction to type theory for computer scientists. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 200 pages, 10 b/w illus. 1 table. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 16. Weight in Grams: 470. . 1997. hardcover. . . . . Books ship from the US and Ireland.
-
Basic Simple Type Theory
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1997
ISBN 10: 0521465184 ISBN 13: 9780521465182
EUR 153,92
Spedizione EUR 62,24
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system. Also featured are two other interesting algorithms that have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making the book at a level which can be used as an introduction to type theory for computer scientists.
-
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1997
ISBN 10: 0521465184 ISBN 13: 9780521465182
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 252,55
Spedizione EUR 28,91
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Basic Simple Type Theory (Paperback)
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, Cambridge, 2008
ISBN 10: 0521054222 ISBN 13: 9780521054225
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione Print on Demand
Paperback. Condizione: new. Paperback. Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system. Also featured are two other interesting algorithms that have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making the book at a level which can be used as an introduction to type theory for computer scientists. This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Basic Simple Type Theory
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 48,00
Spedizione EUR 11,57
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 186 pages. 8.75x6.00x0.50 inches. In Stock. This item is printed on demand.
-
Basic Simple Type Theory
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054222 ISBN 13: 9780521054225
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 53,38
Spedizione EUR 16,39
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Basic Simple Type Theory
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054222 ISBN 13: 9780521054225
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 71,21
Spedizione EUR 7,52
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 200 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.
-
Basic Simple Type Theory
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521054222 ISBN 13: 9780521054225
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 71,47
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 200.
-
Basic Simple Type Theory (Paperback)
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, Cambridge, 2008
ISBN 10: 0521054222 ISBN 13: 9780521054225
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Prima edizione Print on Demand
EUR 60,14
Spedizione EUR 42,79
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system. Also featured are two other interesting algorithms that have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making the book at a level which can be used as an introduction to type theory for computer scientists. This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Basic Simple Type Theory
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521054222 ISBN 13: 9780521054225
EUR 61,28
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but conc.
-
Basic Simple Type Theory
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2007
ISBN 10: 0521054222 ISBN 13: 9780521054225
EUR 63,60
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Basic Simple Type Theory | J. Roger Hindley | Taschenbuch | Kartoniert / Broschiert | Englisch | 2007 | Cambridge University Press | EAN 9780521054225 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
-
Basic Simple Type Theory (Hardcover)
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, Cambridge, 1997
ISBN 10: 0521465184 ISBN 13: 9780521465182
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the complications of more advanced systems. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm that lies at the heart of every such system. Also featured are two other interesting algorithms that until now have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making it the first book at this level that can be used as an introduction to type theory for computer scientists. This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Basic Simple Type Theory
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1997
ISBN 10: 0521465184 ISBN 13: 9780521465182
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 143,05
Spedizione EUR 7,52
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 200 10 Illus.
-
Basic Simple Type Theory
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 138,62
Spedizione EUR 11,57
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 186 pages. 9.50x6.25x0.50 inches. In Stock. This item is printed on demand.
-
Basic Simple Type Theory
Libro 22 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press CUP, 1997
ISBN 10: 0521465184 ISBN 13: 9780521465182
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 200.
