Tag Info

first-order-logic Questions

1	1	user23013 3931 silver badge11 bronze badges
1	1	gnasher729 13.6k18 silver badges24 bronze badges
1	1	Andrej Bauer 21.6k1 gold badge48 silver badges88 bronze badges

114	9	Andrej Bauer 21.6k1 gold badge48 silver badges88 bronze badges
84	21	Yuval Filmus 205k15 gold badges199 silver badges363 bronze badges
38	16	D.W.♦ 105k14 gold badges133 silver badges306 bronze badges
37	10	David Richerby 73.8k16 gold badges115 silver badges203 bronze badges
33	5	Derek Elkins 10.8k1 gold badge24 silver badges36 bronze badges
21	2	Discrete lizard♦ 5,2621 gold badge16 silver badges42 bronze badges
16	1	Hatshepsut 2611 silver badge3 bronze badges
15	1	Luke Mathieson 16.1k3 gold badges45 silver badges78 bronze badges
15	3	Dave Clarke 17.2k3 gold badges56 silver badges109 bronze badges
13	2	jmite 23.4k3 gold badges48 silver badges102 bronze badges
13	5	chi 13.2k21 silver badges33 bronze badges
11	1	M. Alaggan 3082 silver badges8 bronze badges
11	2	gnasher729 13.6k18 silver badges24 bronze badges
10	2	Kyle Jones 5,9171 gold badge18 silver badges40 bronze badges
9	2	Raphael♦ 58.8k25 gold badges144 silver badges326 bronze badges
9	2	Hunan Rostomyan 3564 silver badges10 bronze badges
8	2	Gilles♦ 34.2k7 gold badges98 silver badges166 bronze badges
8	1	Hurkyl 6893 silver badges7 bronze badges
8	1	Gaste 7685 silver badges14 bronze badges
7	3	Klaus Draeger 2,0239 silver badges17 bronze badges

user9730905

84 bronze badges

30	2	Charlie Parker 9638 silver badges24 bronze badges
22	1	yoyo_fun 5133 silver badges15 bronze badges
14	3	Sven Williamson 1755 bronze badges
12	2	Alexandru Cimpanu 3110 bronze badges
10	4	TomR 5303 silver badges11 bronze badges
8	1	D.W.♦ 105k14 gold badges133 silver badges306 bronze badges
8	1	Ayrat 5191 gold badge4 silver badges20 bronze badges
7	1	Paulo Tomé 1385 bronze badges
7	1	BingWen Hui 381 silver badge4 bronze badges
7	1	user118967 3463 silver badges11 bronze badges
6	1	zarathustra 2921 silver badge8 bronze badges
6	2	jmite 23.4k3 gold badges48 silver badges102 bronze badges
6	1	Ingdas 1311 bronze badge
6	1	Kelmikra 3663 silver badges13 bronze badges
6	1	Colin 332 bronze badges
6	7	Farewell Stack Exchange 711 silver badge12 bronze badges
5	1	Dmitri Chubarov 1,2746 silver badges12 bronze badges
5	3	Val 1
5	2	StefanH 7804 silver badges14 bronze badges
5	1	alsdkjasdlkja 1305 bronze badges