Home›Books›The language of first-order logicThe language of first-order logicby Barwise, Jon.Popularity 1No description available.First-order logicTarski's worldTarski's world (Computer program)