Skip to content

Logic Matters

MAIN SITE >>
BLOG
IFL
GÖDEL
CATS
TYL
VARIA
LaTeX
About PS

Search for:

Home
Blog
Formal Logic
Gödel’s Theorems
Category theory
Teach Yourself Logic
Papers, etc.
LaTeX for Logicians

Logic Matters

Search for:

Home
Blog
Formal Logic
Gödel’s Theorems
Category theory
Teach Yourself Logic
Papers, etc.
LaTeX for Logicians

243A8070-2-Photo-Credit_-Dave-Stapleton

By Peter Smith / Leave a Comment / February 1, 2019 February 1, 2019

Post navigation

← Previous Media

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Comment

Name*

Email*

Website

Save my name, email, and website in this browser for the next time I comment.

Newsletters

Blog archive

2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006

Logic/Maths blogs

Asaf Karagila's blog
Bartosz Milewski's blog
Boole's Rings
Gödel's Lost Letter
HOTT blog
Joel David Hamkins's blog
M-Phi
Proof Theory blog
Qiaochu Yuan's blog
Richard Zach's blog
Scott Aaronson's blog
Terence Tao's blog
The n-Category Café
Timothy Gowers's blog

Musicians' sites

Acad. Ancient Music
Alina Ibragimova
Angela Hewitt
Bachtrack
Belcea Quartet
Boris Giltburg
Chiaroscuro Quartet
David Fray
Doric String Quartet
Francesco Piemontesi
Imogen Cooper
Ivana Gavric
Lea Desandre
Pavel Haas Quartet
Rachel Podger
Sabine Devieilhe

Recent comments

Peter Smith on The revised Study Guide — first-order logic
Peter Smith on The revised Study Guide — second-order logic
Peter Smith on The revised Study Guide — second-order logic

@PeterSmith’s tweets and retweets

Veronica in the Fens 🧚🏼‍♀️@VeronicaJoPo·

Tonight’s sunset over Ely 🧡
#sunset #ElyCathedral #iphone #stormhour

Susie Dent 💙@susie_dent·

Word of the day is ‘throttlebottom’: an inept, bumbling, and possibly embarrassing holder of public office.

Copyright © 2021 Logic Matters | Powered by Astra WordPress Theme

Scroll to Top