Tag Info

first-order-logic Questions

eru-cs

4378 bronze badges

115	9	Andrej Bauer 22.4k1 gold badge51 silver badges91 bronze badges
85	21	Yuval Filmus 210k16 gold badges203 silver badges370 bronze badges
39	11	David Richerby 75.5k17 gold badges118 silver badges209 bronze badges
37	16	D.W.♦ 106k14 gold badges138 silver badges316 bronze badges
34	5	Derek Elkins 11.2k1 gold badge24 silver badges39 bronze badges
21	2	Discrete lizard♦ 5,3571 gold badge16 silver badges42 bronze badges
16	1	Hatshepsut 2611 silver badge3 bronze badges
15	1	Luke Mathieson 16.2k3 gold badges46 silver badges79 bronze badges
15	3	Dave Clarke 17.3k3 gold badges56 silver badges110 bronze badges
13	2	jmite 23.8k3 gold badges50 silver badges105 bronze badges
13	5	chi 13.3k21 silver badges33 bronze badges
11	1	M. Alaggan 3082 silver badges8 bronze badges
11	2	gnasher729 15k22 silver badges26 bronze badges
10	2	Kyle Jones 6,0971 gold badge19 silver badges41 bronze badges
9	2	Raphael♦ 59.1k26 gold badges146 silver badges327 bronze badges
9	2	Hunan Rostomyan 3564 silver badges10 bronze badges
8	2	Gilles 34.8k7 gold badges100 silver badges166 bronze badges
8	1	Gaste 7685 silver badges14 bronze badges
7	3	Klaus Draeger 2,0339 silver badges17 bronze badges
7	5	Dmitri Chubarov 1,2746 silver badges12 bronze badges

30	2	Charlie Parker 9688 silver badges25 bronze badges
23	1	yoyo_fun 5183 silver badges15 bronze badges
14	3	Sven Williamson 1755 bronze badges
12	2	Alexandru Cimpanu 3110 bronze badges
10	5	TomR 5643 silver badges11 bronze badges
8	1	D.W.♦ 106k14 gold badges138 silver badges316 bronze badges
8	2	Ayrat 5341 gold badge4 silver badges21 bronze badges
8	7	Farewell Stack Exchange 811 silver badge12 bronze badges
7	1	Paulo Tomé 1385 bronze badges
7	1	BingWen Hui 381 silver badge4 bronze badges
7	1	user118967 3513 silver badges11 bronze badges
6	1	zarathustra 2921 silver badge8 bronze badges
6	2	jmite 23.8k3 gold badges50 silver badges105 bronze badges
6	1	Ingdas 1311 bronze badge
6	1	Kelmikra 3663 silver badges14 bronze badges
6	1	Colin 332 bronze badges
5	1	Dmitri Chubarov 1,2746 silver badges12 bronze badges
5	3	Val 1
5	2	StefanH 8005 silver badges14 bronze badges
5	1	alsdkjasdlkja 1305 bronze badges