N. Sonpanow, P. Vejjajiva, Independent families of functions and permutations, Mathematical Logic Quarterly, 66(3) (2020), 311-315.
J. Rodbanjong, P. Vejjajiva, A generalization of the trichotomy principle, Thai Journal of Mathematics, 17(3) (2019), 597-605.
N. Sonpanow, P. Vejjajiva, Factorials and the finite sequences of sets, Mathematical Logic Quarterly, 65(1) (2019), 116-120.
N. Aksornthong, P. Vejjajiva, Relations between cardinalities of the finite sequences and the finite subsets of a set, Mathematical Logic Quarterly, 64(6) (2018), 529-534.
N. Sonpanow, P. Vejjajiva, Some properties of infinite factorials, Mathematical Logic Quarterly, 64(3) (2018), 201-206.
N. Sonpanow, P. Vejjajiva, A finite-to-one map from the permutations on a set, Bull. Aust. Math. Soc., 95 (2017), 177-182.
P. Vejjajiva, S. Panasawatwong, A Note on Weakly Dedekind Finite Sets, Notre Dame Journal of Formal Logic, 55(3) (2014), 413-417.
P. Vejjajiva, Extended Curry-Howard Terms for Second-Order Logic, Mathematical Logic Quarterly, 59(4-5) (2013), 274-285.
S. Panasawatwong, P. Vejjajiva, Some Remarks on Cardinal Arithmatic without Choice, ScienceAsia, 39(1) (2013), 91-94.
B. Skulkiat, P.Vejjajiva,M. E. Hall, Computability via the Lambda Calculus with Patterns, Journal of Mathematics Research,2(4) (2010), 157-166.
P.Vejjajiva, A. Thamrongthanyalak, A Simple Proof of Silver’s Theorem, Journal of Mathematics Research,2(2) (2010), 81-84.
A. Thamrongthanyalak, P.Vejjajiva, A Note on the Existence of the Integers and Rationals, ScienceAsia,35(4) (2009), 396-399.
P. Vejjajiva, Abbreviation Templates, Southeast Asian Bulletin of Mathematics, 30(4) (2006), 763-777.
P. Vejjajiva, A Direct Proof of Strong Normalization for Full Constructive Second-Order Logic, Southeast Asian Bulletin of Mathematics, 28(5) (2004), 887-902.
P. Vejjajiva, M. E. Hall, A Lambda-Calculus with Patterns, Proceedings of the International Conference on Algebra and Its Applications(ICAA 2002), (2002), 266-277.