van Benthem, J., Gupta, A., & Parikh, R. (2011). Proof, Computation and Agency: Logic at the Crossroads. Springer Netherlands. https://doi.org/10.1007/978-94-007-0080-2
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Tohutoru Kātū Chicago (17th ed.)
van Benthem, Johan, Amitabha Gupta, me Rohit Parikh. Proof, Computation and Agency: Logic at the Crossroads. Dordrecht: Springer Netherlands, 2011. https://doi.org/10.1007/978-94-007-0080-2.
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Tohutoro MLA (9th ed.)
van Benthem, Johan, et al. Proof, Computation and Agency: Logic at the Crossroads. Springer Netherlands, 2011. https://doi.org/10.1007/978-94-007-0080-2.
I tāruatia paitia ki te papatopenga
Kua rahua te tārua ki te papatopenga
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.