Logic & Applications

@LogicPractice

Logic and applications of logic from

Houston, TX
JohnDCook.com/logic
Vrijeme pridruživanja: rujan 2016.

Medijski sadržaj

  1. 15. tra 2019.

    Propositions as Types

    5 proslijeđenih tweetova 12 korisnika označava da im se sviđa
  2. 28. ožu 2019.

    Logic in Computer Science, Engineering and Industry

    5 proslijeđenih tweetova 14 korisnika označava da im se sviđa
  3. 23. sij 2019.

    Logic in Computer Science, Engineering and Industry

    10 proslijeđenih tweetova 38 korisnika označava da im se sviđa
  4. 8. sij 2019.

    Big Logic

    1 reply 3 proslijeđena tweeta 11 korisnika označava da im se sviđa
  5. 5. pro 2018.

    Propositions as Types

    7 proslijeđenih tweetova 6 korisnika označava da im se sviđa
  6. 27. stu 2018.

    Typesetting modal logic

    5 proslijeđenih tweetova 19 korisnika označava da im se sviđa
  7. 13. stu 2018.

    Modal logic for security

    3 proslijeđena tweeta 2 korisnika označavaju da im se sviđa
  8. 9. stu 2018.

    The weird and wonderful world of constructive mathematics [pdf]

    3 proslijeđena tweeta 15 korisnika označava da im se sviđa
  9. 6. stu 2018.

    I'm restarting FormalFact under the new name . Will not be posting on a regular schedule, probably posting less frequently than I do from my other accounts.

    21 proslijeđeni tweet 38 korisnika označava da im se sviđa
  10. 11. srp 2017.

    I'm going to retire @FormalFact . Thanks for following. Please check out my other Twitter accounts.

    2 proslijeđena tweeta 15 korisnika označava da im se sviđa
  11. 11. svi 2017.

    Propositions as Types

    2 proslijeđena tweeta 8 korisnika označava da im se sviđa
  12. 30. ožu 2017.

    2 proslijeđena tweeta 5 korisnika označava da im se sviđa
  13. 27. sij 2017.

    More Twitter accounts like @FormalFact at

    2 proslijeđena tweeta 11 korisnika označava da im se sviđa
  14. 17. sij 2017.

    Tarski's undefinability theorem

    58 proslijeđenih tweetova 105 korisnika označava da im se sviđa
  15. 3. sij 2017.

    Propositions as Types

    3 proslijeđena tweeta 8 korisnika označava da im se sviđa
  16. 27. ruj 2016.

    de Bruijn numbering is a way to avoid having to work modulo α-equivalence in lambda calculus.

    1 reply 8 proslijeđenih tweetova 11 korisnika označava da im se sviđa
  17. 21. ruj 2016.

    Propositions as Types

    1 reply 9 proslijeđenih tweetova 12 korisnika označava da im se sviđa
  18. 21. ruj 2016.

    Proof General: Emacs front end for proof assistants

    18 proslijeđenih tweetova 27 korisnika označava da im se sviđa

@LogicPractice još nije poslao/la nijedan tweet s fotografijama ili videozapisima.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·