richardzach.org

Robots.txt Information

Robot	Path	Permission
GoogleBot	/	✔
BingBot	/	✔
BaiduSpider	/	✔
YandexBot	/	✔
Sitemap: https://richardzach.org/sitemap.xml Sitemap: https://richardzach.org/news-sitemap.xml User-agent: * Disallow: /wp-admin/ Allow:

Meta Tags

Title	Richard
Description	Richard Zach Menu CV Teaching Research Contact Featured rzach An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs Paol
Keywords	N/A

Server Information

WebSite	richardzach.org
Host IP	74.208.236.59
Location	United States

Related Websites

                        Site
                        Rank
                    

More to Explore

richardzach.org Valuation

US$2,009,785

Last updated: 2023-05-17 07:00:50

richardzach.org has Semrush global rank of 5,266,387. richardzach.org has an estimated worth of US$ 2,009,785, based on its estimated Ads revenue. richardzach.org receives approximately 231,899 unique visitors each day. Its web server is located in United States, with IP address 74.208.236.59. According to SiteAdvisor, richardzach.org is safe to visit.

Traffic & Worth Estimates

Purchase/Sale Value	US$2,009,785
Daily Ads Revenue	US$1,856
Monthly Ads Revenue	US$55,656
Yearly Ads Revenue	US$667,867
Daily Unique Visitors	15,460
Note: All traffic and earnings values are estimates.

DNS Records

Host	Type	TTL	Data
richardzach.org.	A	3600	IP: 74.208.236.59
richardzach.org.	AAAA	3600	IPV6: 2607:f1c0:100f:f000::242
richardzach.org.	NS	86400	NS Record: ns1037.ui-dns.com.
richardzach.org.	NS	86400	NS Record: ns1120.ui-dns.org.
richardzach.org.	NS	86400	NS Record: ns1090.ui-dns.de.
richardzach.org.	NS	86400	NS Record: ns1120.ui-dns.biz.
richardzach.org.	MX	3600	MX Record: 10 mx01.ionos.com.
richardzach.org.	MX	3600	MX Record: 10 mx00.ionos.com.

HtmlToTextCheckTime:2023-05-17 07:00:50

Richard Zach Menu CV Teaching Research Contact Featured rzach An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs Paolo Mancosu, Sergio Galvan, and Richard Zach. An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. Oxford: Oxford University Press, 2021. DOI: 10.1093/oso/9780192895936.001.0001 Published in the UK on August 17, 2021. Available in hardcover and paperback. An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details worked out … Continue reading An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs 2023-02-18 2023-02-18 rzach Sheffer stroke before Sheffer: Edward Stamm It came up in discussion at the Formal Turn conference the other day, so I thought I’d preserve an old Twitter thread here: The first person to publish results on NAND and NOR (Sheffer stroke and Peirce arrow) was the Polish mathematician and Philosopher

HTTP Headers

HTTP/1.1 302 Found
Content-Type: text/html; charset=iso-8859-1
Connection: keep-alive
Keep-Alive: timeout=15
Date: Fri, 11 Mar 2022 09:06:01 GMT
Server: Apache
Location: https://richardzach.org/
Cache-Control: max-age=3600
Expires: Fri, 11 Mar 2022 10:06:01 GMT

HTTP/2 200 
content-type: text/html; charset=UTF-8
date: Fri, 11 Mar 2022 09:06:02 GMT
server: Apache
x-powered-by: PHP/7.4.28
link: ; rel="https://api.w.org/"

richardzach.org Whois Information

Domain Name: RICHARDZACH.ORG
Registry Domain ID: D172496283-LROR
Registrar WHOIS Server: whois.ionos.com
Registrar URL: https://registrar.ionos.info/
Updated Date: 2021-05-01T02:09:28Z
Creation Date: 2014-04-30T18:45:47Z
Registry Expiry Date: 2022-04-30T18:45:47Z
Registrar: 1&1 IONOS SE
Registrar IANA ID: 83
Registrar Abuse Contact Email: abuse@ionos.com
Registrar Abuse Contact Phone: +1.6105601459
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registrant Organization: Data Privacy Protected
Registrant State/Province: BW
Registrant Country: DE
Name Server: NS1037.UI-DNS.COM
Name Server: NS1090.UI-DNS.DE
Name Server: NS1120.UI-DNS.BIZ
Name Server: NS1120.UI-DNS.ORG
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/)
>>> Last update of WHOIS database: 2022-03-11T09:21:36Z <<<

richardzach.org valuation and analysis