Showing 1 - 5 results of 5 for search 'Krivine, J. L. (Jean Louis)', query time: 0.11s Refine Results
  1. 1
    Theorie axiomatique des ensembles ...
    by Krivine, J. L. (Jean Louis)
    Published 1969
    Book
  2. 2
    Lambda-calculus, types and models /
    by Krivine, J. L. (Jean Louis)
    Published 1993
    Book
  3. 3
    Introduction to Axiomatic Set Theory /
    by Krivine, J. L. (Jean Louis)
    Published 1971
    Connect to the full text of this electronic book
    eBook
  4. 4
    Elements de logique mathematique : theorie des modeles /
    by Kreisel, Georg
    Published 1967
    Other Authors: “...Krivine, J. L. (Jean Louis)...”
    Book
  5. 5
    Interactive models of computation and program behavior /
    by Curien, P.-L. (Pierre-Louis)
    Published 2009
    Other Authors: “...Krivine, J. L. (Jean Louis)...”
    Book
Search Tools: RSS Feed – Email Search