Type Theory and Formal Proof (An Introduction)

HK$726

21

Motorcycle Fuel Systems Techbook (All Carburettor Types, Along with Fuel Injection, from the Basic Theory to Practical Tuning)

By Anon, John Robinson

Motorcycle Fuel Systems Techbook (All Carburettor Types, Along with Fuel Injection, from the Basic Theory to Practical Tuning)

By Anon, John Robinson

HK$300 Elsewhere ~~HK$332.53~~ Save HK$32.53 (10%)

11

Elements of Sonata Theory (Norms, Types, and Deformations in the Late-Eighteenth-Century Sonata)

By Hepokoski, James (Professor of Music, Professor of Music, Yale U, Darcy, Warren (Professor of Music Theory, Professor of Music The

Elements of Sonata Theory (Norms, Types, and Deformations in the Late-Eighteenth-Century Sonata)

By Hepokoski, James (Professor of Music, Professor of Music, Yale U, Darcy, Warren (Professor of Music Theory, Professor of Music The

HK$500 Elsewhere ~~HK$755.75~~ Save HK$255.75 (34%)

1

Elements of Sonata Theory (Norms, Types, and Deformations in the Late-Eighteenth-Century Sonata)

By Hepokoski, James, Darcy, Warren (Professor of Music Theory, Oberlin College Conser

Elements of Sonata Theory (Norms, Types, and Deformations in the Late-Eighteenth-Century Sonata)

By Hepokoski, James, Darcy, Warren (Professor of Music Theory, Oberlin College Conser

HK$1,060

1

Formal Semantics in Modern Type Theories

By Stergios Chatzikyriakidis, Zhaohui Luo

Formal Semantics in Modern Type Theories

By Stergios Chatzikyriakidis, Zhaohui Luo

HK$1,460

Pheromones (Theories, Types & Uses)

By Isabelle M. Gregory

Pheromones (Theories, Types & Uses)

By Isabelle M. Gregory

HK$1,735 Elsewhere ~~HK$2,367.93~~ Save HK$632.93 (27%)

Bolometers (Theory, Types & Applications)

By Torrence M. Walcott

Bolometers (Theory, Types & Applications)

By Torrence M. Walcott

HK$900 Elsewhere ~~HK$1,168.80~~ Save HK$268.80 (23%)

Types of Ethical Theory

By James Martineau, Clarendon

Types of Ethical Theory

By James Martineau, Clarendon

HK$414

Types of Ethical Theory

By James Martineau, Clarendon

Types of Ethical Theory

By James Martineau, Clarendon

HK$268

Theory of Type Design

By Unger, Gerard

Theory of Type Design

By Unger, Gerard

HK$327 Elsewhere ~~HK$493.76~~ Save HK$166.76 (34%)

47

Democracy after Virtue (Toward Pragmatic Confucian Democracy (Studies in Comparative Political Theory))

By Kim, Sungmoon (Professor of Political Theory, Professor of Polit

Democracy after Virtue (Toward Pragmatic Confucian Democracy (Studies in Comparative Political Theory))

By Kim, Sungmoon (Professor of Political Theory, Professor of Polit

HK$700 Elsewhere ~~HK$947.21~~ Save HK$247.21 (26%)

Form as Harmony in Rock Music (Oxford Studies in Music Theory)

By Nobile, Drew (Assistant Professor of Music Theory, Assistant Pro

Form as Harmony in Rock Music (Oxford Studies in Music Theory)

By Nobile, Drew (Assistant Professor of Music Theory, Assistant Pro

HK$787

Form as Harmony in Rock Music (Oxford Studies in Music Theory)

By Nobile, Drew (Assistant Professor of Music Theory, Assistant Pro

Form as Harmony in Rock Music (Oxford Studies in Music Theory)

By Nobile, Drew (Assistant Professor of Music Theory, Assistant Pro

HK$290

Graduate Review of Tonal Theory (A Recasting of Common-Practice Harmony, Form, and Counterpoint [With CD (Audio)])

By Laitz, Steven G (Associate Professor and Chair of Music Theory, , Barlette, Chris (Assistant Professor of Music Theory, Assistant

Graduate Review of Tonal Theory (A Recasting of Common-Practice Harmony, Form, and Counterpoint [With CD (Audio)])

By Laitz, Steven G (Associate Professor and Chair of Music Theory, , Barlette, Chris (Assistant Professor of Music Theory, Assistant

HK$894

30

Democracy after Virtue (Toward Pragmatic Confucian Democracy (Studies in Comparative Political Theory))

By Kim, Sungmoon (Professor of Political Theory, Professor of Polit

Democracy after Virtue (Toward Pragmatic Confucian Democracy (Studies in Comparative Political Theory))

By Kim, Sungmoon (Professor of Political Theory, Professor of Polit

HK$358

Analogies and Theories (Formal Models of Reasoning (Lipsey Lectures))

By Gilboa, Itzhak (Chair of Economic Theory and Decision Theory, Te, Samuelson, Larry (A. Douglas Melamed Professor of Economics, Yal, David Schmeidler

Analogies and Theories (Formal Models of Reasoning (Lipsey Lectures))

By Gilboa, Itzhak (Chair of Economic Theory and Decision Theory, Te, Samuelson, Larry (A. Douglas Melamed Professor of Economics, Yal, David Schmeidler

HK$431

The Federal Contract (A Constitutional Theory of Federalism)

By Tierney, Stephen (Professor of Constitutional Theory, Professor

The Federal Contract (A Constitutional Theory of Federalism)

By Tierney, Stephen (Professor of Constitutional Theory, Professor

HK$740

Theories of the Soundtrack (Oxford Music/Media Series)

By Buhler, James (Professor of Music Theory and Director of the Cen

Theories of the Soundtrack (Oxford Music/Media Series)

By Buhler, James (Professor of Music Theory and Director of the Cen

HK$800

Theories of the Soundtrack (Oxford Music/Media Series)

By Buhler, James (Professor of Music Theory and Director of the Cen

Theories of the Soundtrack (Oxford Music/Media Series)

By Buhler, James (Professor of Music Theory and Director of the Cen

HK$293 Elsewhere ~~HK$332.43~~ Save HK$39.43 (12%)

Multivariate Bonferroni-Type Inequalities (Theory and Applications)

By Chen, John

Multivariate Bonferroni-Type Inequalities (Theory and Applications)

By Chen, John

HK$500 Elsewhere ~~HK$644.81~~ Save HK$144.81 (22%)

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)

By J. Roger Hindley

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)

By J. Roger Hindley

HK$343 Elsewhere ~~HK$372.74~~ Save HK$29.74 (8%)

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)

By J. Roger Hindley, C. J. Van Rijsbergen, S. Abramsky, P. H. Aczel

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)

By J. Roger Hindley, C. J. Van Rijsbergen, S. Abramsky, P. H. Aczel

HK$837 Elsewhere ~~HK$977.34~~ Save HK$140.34 (14%)

11

History and Philosophy of Constructive Type Theory (Synthese Library)

By Sommaruga, Giovanni

History and Philosophy of Constructive Type Theory (Synthese Library)

By Sommaruga, Giovanni

HK$1,300

View:
Safe Search(?):