Resultados da pesquisa - "Mathematical logic."

Inquisitive Logic Consequence and Inference in the Realm of Questions / Por Ciardelli, Ivano

Assuntos: “...Mathematical logic....”
Link to Metadata

The Logical Writings of Karl Popper

Assuntos: “...Mathematical logic....”
Link to Metadata

Advances in Proof-Theoretic Semantics

Assuntos: “...Mathematical logic....”
Link to Metadata

Paul Lorenzen -- Mathematician and Logician

Assuntos: “...Mathematical logic....”
Link to Metadata

Advances in Proof-Theoretic Semantics

Assuntos: “...Mathematical Logic and Foundations...”
DOAB: download the publication
DOAB: description of the publication

Advances in Proof-Theoretic Semantics

Assuntos: “...Mathematical Logic and Foundations...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Peter Schroeder-Heister on Proof-Theoretic Semantics

Assuntos: “...Mathematical logic....”
Link to Metadata

Fading Foundations Probability and the Regress Problem / Por Atkinson, David, Peijnenburg, Jeanne

Assuntos: “...Mathematical logic....”
Link to Metadata

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Assuntos: “...Mathematical logic....”
Link to Metadata

Vorlesungen über Philosophische Logik Por Fuhrmann, André

Assuntos: “...Mathematical logic bicssc...”
DOAB: download the publication
DOAB: description of the publication

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Assuntos: “...Mathematical logic....”
Link to Metadata

Sheaf Theory through Examples Por Rosiak, Daniel

Assuntos: “...Mathematical logic bicssc...”
DOAB: download the publication
DOAB: description of the publication

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates Por Mostowski, Wojciech

Assuntos: “...Predicate (mathematical logic)...”
DOAB: download the publication
DOAB: description of the publication

Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates Por Mostowski, Wojciech

Assuntos: “...Predicate (mathematical logic)...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The Everyday Life of an Algorithm Por Neyland, Daniel

Assuntos: “...Mathematical logic...”
DOAB: download the publication
DOAB: description of the publication

The Everyday Life of an Algorithm Por Neyland, Daniel

Assuntos: “...Mathematical logic...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Fading Foundations Probability and the Regress Problem Por Atkinson, David

Assuntos: “...Mathematical logic...”
DOAB: download the publication
DOAB: description of the publication

Fading Foundations Probability and the Regress Problem Por Atkinson, David

Assuntos: “...Mathematical logic...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Assuntos: “...Mathematical logic...”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Assuntos: “...Mathematical logic...”
DOAB: download the publication
DOAB: description of the publication