Description
Product details
| Authors | Alfred Tarski |
| Publisher | Springer EN |
| Languages | English |
| Product format | Mixed media product |
| Released | 04.01.2019 |
| EAN | 9783030055400 |
| ISBN | 978-3-030-05540-0 |
| No. of pages | 2796 |
| Illustrations | LXXX, 2796 p. 4 volume-set. |
| Subjects |
Natural sciences, medicine, IT, technology
> Mathematics
> Basic principles
C, Logic, Mathematics and Statistics, Mathematical theory of computation, Proof Theory and Constructive Mathematics, Structures and Proofs, Proof theory, Mathematical logic, Philosophy: logic, Mathematical Logic and Formal Languages, Formal Languages and Automata Theory |
Customer reviews
No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.
Write a review
Thumbs up or thumbs down? Write your own review.