লোডিং...
Tableau systems for first order number theory and certain higher order theories
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | Printed Book |
| প্রকাশিত: |
Springer-Verlag, Berlin
1975
|
| মালা: | Lecture Notes in Mathematics, No.0447
|
| বিষয়গুলি: |