On cartesian powers of P2

  • Taimanov V. A. 
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 278)


  1. 1.
    post E. The two-valued iterative systems of mathe matical logic. "princeton Univ. press", princeton, 1941. 122ppGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Taimanov V. A. 
    • 1
  1. 1.Moscow Tsiolkovsky Aircraft Technology InstituteMoscow, K-31

Personalised recommendations