Skip to main content

Hierarchies and Compositions

  • Chapter
  • 1060 Accesses

Part of the book series: Texts in Theoretical Computer Science An EATCS Series ((TTCS))

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

2.5 Bibliographical Notes: Stanisław Leshniewski

  1. H. Leonard, N. Goodman: The Calculus of Individuals and Its Uses. Journal of Symbolic Logic 5 (1940) pp 45–55

    Article  MATH  Google Scholar 

  2. E. Luschei: The Logical Systems of Łeśniewski (North Holland, Amsterdam, The Netherlands 1962)

    Google Scholar 

  3. D. Miéville, D. Vernant: Stanisław Łeśniewski aujourd’hui (Grenoble October 8–10, 1992)

    Google Scholar 

  4. J.T.J. Srzednicki, Z. Stachniak (eds.): Łeśniewski’s Lecture Notes in Logic (Dordrecht, 1988)

    Google Scholar 

  5. J.T.J. Srzednicki, Z. Stachniak: Łeśniewski’s Systems Protothetic (Dordrecht, 1998)

    Google Scholar 

  6. S.J. Surma, J.T. Srzednicki, D.I. Barnett, V.F. Rickey (eds.): Stanisław Łeśniewski’s: Collected Works (2 Vols.) (Dordrecht, Boston, New York 1988)

    Google Scholar 

Download references

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

(2006). Hierarchies and Compositions. In: Software Engineering 2. Texts in Theoretical Computer Science An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-33193-3_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-33193-3_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21150-1

  • Online ISBN: 978-3-540-33193-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics