Search Results - "Plato"

  1. 321
  2. 322
  3. 323
  4. 324

    15 Aniversario Scielo by Rodolfo Crespo Montero

    Published 2014
    Connect to this object online.
    Book
  5. 325
  6. 326
  7. 327
  8. 328
  9. 329
  10. 330
  11. 331
  12. 332
  13. 333
  14. 334
  15. 335
  16. 336
  17. 337

    Paul Lorenzen -- Mathematician and Logician

    Published 2021
    Table of Contents: “…The main problem of Grundlagenforschung (Jan von Plato) -- Chapter 9. Lorenzen's consistency proof and Hilbert's larger programme (Reinhard Kahle) -- Chapter 10. …”
    Link to Metadata
    Electronic eBook
  18. 338

    Advances in Proof-Theoretic Semantics

    Published 2016
    Table of Contents: “…Explicit composition and its application in normalization proofs; Jan von Plato -- Chapter 14. A two-sorted typed lambda-calculus; Heinrich Wansing -- Chapter 15. …”
    Link to Metadata
    Electronic eBook
  19. 339
  20. 340