caption: Logic -- <PERSON> ( ): formal language for making logical inference -- <PERSON> ( ): First-order logic (FOL) --Computability <PERSON> ( ): is there an algorithm for deciding the truth of any logical proposition involving the natural numbers.
exif: {}