00494nam a22001817a 4500 31898 31898 OSt 20250423105959.0 250423b ||||| |||| 00| 0 eng d 9780486683706 USD 9.95 imukc 511.3 S6669 5853 Smullyan, Raymond M. First-order logic / Raymond M. Smullyan. New York : Dover Publications, Inc, 1995. xii, 158 p. ; 22 cm 5854 Logic ddc BK 0 0 ddc 0 0 CL CL 2025-04-16 Gifted by RAdm (Dr.) P J Rangachari (Retd), Director IMU-KC 511.3 S6669 G01322 2025-04-23 2025-04-23 BK