List of Books in Keyword #proof

Published on: 2023

Advanced Artificial Intelligence (AI) English

Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different …

logic philosophy proof artificial quantum

Published on: 1987

Beginner Mathematical Logic English

This established standard covers the basic topics for a first course in mathematical logic. In this edition, the author has …

logic set theory proof recursion model theory

Published on: 2001

Beginner Mathematical Logic English

A Mathematical Introduction to Logic, Second Edition , offers increased flexibility with topic coverage, allowing for choice in how to …

logic mathematical formal consistency proof

Published on: 2007

Beginner Mathematical Logic English

deduction propositions validity inference proof

Published on: 2021

Beginner Mathematic Combinatorics English

Discrete Mathematics: An Open Introduction is a free, open source textbook appropriate for a first or second year undergraduate course …

combinatorics logic proof functions graph-theory

Published on: 2005

Beginner Mathematic Combinatorics English

The book `Fundamental Approach to Discrete Mathematics` is a required part of pursuing a computer science degree at most universities. …

combinatorics logic algorithms graph theory proof

Published on: 1985

Beginner Mathematics English

logic mathematics proof theory formal

Published on: 2003

Beginner Mathematical Logic English

This anthology contains 31 significant papers in mathematical logic, mostly published in the second half of the twentieth century. Sacks, …

logic mathematics 20th-century philosophy foundations proof history

Published on: 2012

Beginner Mathematic Combinatorics English

This radical, profoundly scholarly book explores the purposes and nature of proof in a range of historical settings. It overturns …

mathematics proof ancient traditions history

Published on: 2003 October

Unordered Logic and Foundations English

Issues (Editions)YearIssue2021Volume: 1721234Volume: ??????2020Volume: 17112345678910Volume: ??????2019Volume: 170123456789101112Volume: ??????2018Volume: 1691234567891011122017Volume: 1681234567891011122016Volume: 1671234567891011122015Volume: 1661234567-891011122014Volume: 1651234567-891011122013Volume: 1641234567-891011122012Volume: 1631234567891011122011Volume: 1624567891011122010Volume: 162123Volume: 1614567891011122009Volume: 161123Volume: 160123Volume: …

mathematics logic computability proof theory

Published on: 2004 September

Unordered Art English

Issues (Editions)YearIssue2020Volume: 66123Volume: ??????2019Volume: 651234Volume: ??????2018Volume: 641-234-562017Volume: 631-23-456Volume: ??????2016Volume: 631-2Volume: 621-234-562015Volume: 621-2Volume: 611-234-562014Volume: 601-234-562013Volume: 601-2Volume: 591-234-562012Volume: 591-2Volume: 581-234-56Volume: ??????2011Volume: 581-2Volume: …

logic mathematics proof semantics computability

Published on: 1999 September

Unordered Unordered English

Issues (Editions)YearIssue2021Volume: ??????2020Volume: 851Volume: ??????2019Volume: 851Volume: 8410234Volume: ??????2018Volume: 83123042017Volume: 831Volume: 8212342016Volume: 8112342015Volume: 8012342014Volume: 790112342013Volume: 7812342012Volume: 771234Volume: 7512011Volume: 7612342010Volume: 7512342009Volume: 784Volume: …

logic symbolism mathematics proof theory

Published on: 2000 October

Unordered Mathematical Logic English

mathematics logic proof theory reasoning

Published on: 1991

Unordered Mathematical Logic English

logic mathematics proof theory semantics

Published on: 1993

Unordered Mathematical Logic English

mathematics logic proof theory formal

Published on: 1998

Unordered Mathematical Logic English