(Translated by https://www.hiragana.jp/)
User contributions for 82.25.27.218 - Wikipedia Jump to content

Main menu

Main menu

Navigation

Main page
Contents
Current events
Random article
About Wikipedia
Contact us
Donate

Contribute

Help
Learn to edit
Community portal
Recent changes
Upload file

Languages

Create account
Log in

Personal tools

Create account
Log in

Pages for logged out editors learn more

Contributions
Talk

User contributions for 82.25.27.218

English

Tools

Tools

Actions

General

Atom
User contributions
User logs
Upload file
Special pages
Printable version
Get shortened URL
Download QR code

For 82.25.27.218 talk block log logs filter log

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

5 April 2024

14:1414:14, 5 April 2024 diff hist +4‎ Wolfgang Rautenberg ‎No edit summary
14:1114:11, 5 April 2024 diff hist +34‎ Wim Blok ‎No edit summary current

3 April 2024

16:4916:49, 3 April 2024 diff hist +27‎ Modal companion ‎No edit summary current
13:1813:18, 3 April 2024 diff hist +42‎ Gödel logic ‎No edit summary current

2 April 2024

17:0317:03, 2 April 2024 diff hist +16‎ J. C. C. McKinsey ‎No edit summary
16:5916:59, 2 April 2024 diff hist +17‎ Markov's principle ‎No edit summary
16:4316:43, 2 April 2024 diff hist +27‎ Friedman translation ‎No edit summary Tag: Disambiguation links added
16:3816:38, 2 April 2024 diff hist +70‎ Heyting arithmetic ‎No edit summary
15:0015:00, 2 April 2024 diff hist +21‎ Hyperarithmetical theory ‎No edit summary current
14:5914:59, 2 April 2024 diff hist −1‎ Pointclass ‎No edit summary current
14:4214:42, 2 April 2024 diff hist +224‎ Hyperarithmetical theory ‎No edit summary
11:4411:44, 2 April 2024 diff hist +95‎ Turing reduction ‎No edit summary current

1 April 2024

22:3122:31, 1 April 2024 diff hist +14‎ Truth-table reduction ‎No edit summary
20:1320:13, 1 April 2024 diff hist +182‎ Arithmetical hierarchy ‎No edit summary current
20:1120:11, 1 April 2024 diff hist +32‎ Many-one reduction ‎No edit summary current
19:4819:48, 1 April 2024 diff hist +311‎ Analytical hierarchy ‎No edit summary current
17:4517:45, 1 April 2024 diff hist +8‎ Second-order arithmetic ‎No edit summary current
16:0516:05, 1 April 2024 diff hist +26‎ Course-of-values recursion ‎ →‎References current
15:2115:21, 1 April 2024 diff hist +60‎ Double-negation translation ‎No edit summary current
15:1315:13, 1 April 2024 diff hist +66‎ Minimal logic ‎No edit summary
12:1012:10, 1 April 2024 diff hist +12‎ Ingebrigt Johansson ‎No edit summary

5 January 2024

23:0923:09, 5 January 2024 diff hist +59‎ Zermelo's theorem (game theory) ‎No edit summary
18:3718:37, 5 January 2024 diff hist +107‎ Game semantics ‎No edit summary
18:2718:27, 5 January 2024 diff hist +81‎ Andreas Blass ‎No edit summary current
18:0718:07, 5 January 2024 diff hist +212‎ Dialogical logic ‎No edit summary
15:3415:34, 5 January 2024 diff hist +70‎ Truth-value semantics ‎No edit summary current
15:2715:27, 5 January 2024 diff hist +64‎ Logical constant ‎No edit summary
14:1114:11, 5 January 2024 diff hist +127‎ Jon Michael Dunn ‎No edit summary
13:5613:56, 5 January 2024 diff hist +56‎ Intensional logic ‎No edit summary
13:4213:42, 5 January 2024 diff hist +79‎ Transparent intensional logic ‎No edit summary current
13:3513:35, 5 January 2024 diff hist +4‎ Pavel Tichý ‎No edit summary current
12:1412:14, 5 January 2024 diff hist −9‎ Semantics of logic ‎No edit summary
12:0912:09, 5 January 2024 diff hist +4‎ Truth-conditional semantics ‎No edit summary current
12:0312:03, 5 January 2024 diff hist +45‎ Noncommutative logic ‎No edit summary
11:5811:58, 5 January 2024 diff hist +53‎ Logical harmony ‎No edit summary current

4 January 2024

20:5020:50, 4 January 2024 diff hist +121‎ Focused proof ‎No edit summary
20:3020:30, 4 January 2024 diff hist +130‎ Harrop formula ‎No edit summary
20:1120:11, 4 January 2024 diff hist +218‎ Dale Miller (academic) ‎No edit summary Tag: possible unreferenced addition to BLP
18:5718:57, 4 January 2024 diff hist +20‎ Higher-order abstract syntax ‎No edit summary current
18:4518:45, 4 January 2024 diff hist +68‎ Abstract syntax ‎No edit summary
16:1116:11, 4 January 2024 diff hist +3‎ Sequent calculus ‎No edit summary
15:1015:10, 4 January 2024 diff hist +4‎ Subjunctive possibility ‎No edit summary current
15:0915:09, 4 January 2024 diff hist +4‎ Norman Swartz ‎No edit summary current
14:5714:57, 4 January 2024 diff hist +6‎ John Lemmon ‎No edit summary
14:5214:52, 4 January 2024 diff hist +8‎ Stanisław Jaśkowski ‎No edit summary
01:3001:30, 4 January 2024 diff hist +79‎ Geometry of interaction ‎No edit summary current

3 January 2024

21:5921:59, 3 January 2024 diff hist +46‎ Proof net ‎No edit summary
21:5321:53, 3 January 2024 diff hist +106‎ Linear logic ‎No edit summary
19:0319:03, 3 January 2024 diff hist +49‎ Double-negation translation ‎No edit summary
18:5518:55, 3 January 2024 diff hist +27‎ Sigekatu Kuroda ‎No edit summary current

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

This is the contributions page for an IP user, identified by the user's IP address. Many IP addresses change periodically, and are often shared by several users. If you are an IP user, you may create an account or log in to avoid future confusion with other IP users. Registering also hides your IP address.

(WHOIS ^{(alt • old)}
Geolocate ^(Alternate)
Proxy Checker
Current blocks
XTools
Global contributions)
(RIRs: Africa
America
Asia-Pacific
Europe
Latin America/Caribbean)

Retrieved from "https://en.wikipedia.org/wiki/Special:Contributions/82.25.27.218"

Privacy policy
About Wikipedia
Disclaimers
Contact Wikipedia
Code of Conduct
Developers
Statistics
Cookie statement
Mobile view