Logic in Computer Science [chapter]

Yuri GUREVICH
2001 Current Trends In Theoretical Computer Science  
doi:10.1142/9789812810403_0003 fatcat:fal4prkmgnb4hgqu6gfiin4c6u