Formal Semantics in Modern Type Theories

Being Logical: A Guide to Good Thinking

Modern Generative AI with ChatGPT and OpenAI Models: Leverage the capabilities of OpenAI's LLM for productivity and innovation with GPT3 and GPT4

Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

Transformers for Natural Language Processing: Build innovative deep neural network architectures for NLP with Python, PyTorch, TensorFlow, BERT, RoBERTa, and more

LLM Engineer's Handbook: Master the art of engineering large language models from concept to production

Organic Intelligence (O.I.): Why Humans Will Always Beat A.I.

Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)

The Philosopher's Book of Questions & Answers: Questions to Open Your Mind

How to Win Every Argument: The Use and Abuse of Logic, Edition 2

From ML Algorithms to GenAI & LLMs: Master ML Algorithms and Generative AI & LLMs with Python from scratch!

Introduction to Machine Learning with Python: A Guide for Data Scientists

An Illustrated Book of Bad Arguments: Learn the Lost Art of Making Sense (Bad Arguments)

A Course in Miracles - Explanations of Major Themes

Machine Learning for Hackers: Case Studies and Algorithms to Get You Started