Prikupljanje sredstava 15. septembra 2024 – 1. oktobra 2024 O prikupljanju novca

Philosophical and mathematical logic

Main
Mathematics
Philosophical and mathematical logic

Philosophical and mathematical logic

De Swart, Harrie

5.0 / 0

Koliko vam se sviđa ova knjiga?

Kakav je kvalitet fajla?

Preuzmite knjigu radi procene kvaliteta

Kakav je kvalitet preuzetih fajlova?

Kategorije:

Godina:

2018

Izdavač:

Springer

Jezik:

english

ISBN 10:

3030032558

ISBN 13:

9783030032555

Serije:

Springer undergraduate texts in philosophy

Fajl:

PDF, 6.65 MB

IPFS:

,

english, 2018

Preuzimanje ove knjige nije dostupno zbog žalbe vlasnika autorskih prava

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Možda će vas zanimati

S.C. Kleene — Introduction to Metamathematics

Harrie de Swart — Philosophical and Mathematical Logic

misc. authors — Proceedings of a Colloquium on Modal and Many-Valued Logics

Evert Willem Beth — The foundations of mathematics: A study in the philosophy of science

Beth, Evert W — The foundations of mathematics: A study in the philosophy of science

Michael Dummett — Elements of Intuitionism

Steve Reeves, Michael Clarke — Logic for Computer Science

Grigori Mints — Short Introduction to Intuitionistic Logic

Grigori Mints — A Short Introduction to Intuitionistic Logic (The University Series in Mathematics)

Dirk van Dalen — Logic and Structure

Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman — Quantification in Nonclassical Logic

Evert W. Beth (Eds.) — The Foundations of Mathematics

Anne S. Troelstra, Dirk van Dalen — Constructivism in mathematics: An introduction

Stephen Cole Kleene — Mathematical Logic

J.-J. Ch. Meyer, W. van der Hoek — Epistemic Logic for AI and Computer Science

A. S. Troelstra, H. Schwichtenberg — Basic Proof Theory

Lou Goble — The Blackwell Guide to Philosophical Logic

Burgess J.P. — Philosophical logic

J. E. Fenstad (editor) — Proc. 2nd Scandinavian Logic Symposium

von Plato J. — Elements of Logical Reasoning

Goranko, Valentin — Logic as a tool: a guide to formal logical reasoning

John P. Burgess — Philosophical Logic

Jon Williamson, Federica Russo — Key Terms in Logic

Béziau, Jean-Yves; Carnielli, Walter Alexandre; Gabbay, Dov M. — Handbook of Paraconsistency

Dirk van Dalen — Logic and Structure

Dirk van Dalen — Logic and Structure

Fitting, Melvin — Proof methods for modal and intuitionistic logics

Arindama Singh — Logics for Computer Science

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic. Volume II: Extensions of Classical Logic

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic. Volume III: Alternatives in Classical Logic

Andrea Cantini, Ettore Casari, Pierluigi Minari — Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

Melvin Fitting (auth.) — Proof Methods for Modal and Intuitionistic Logics

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic. Volume II: Extensions of Classical Logic

Evert W. Beth — Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logiс

Dov M. Gabbay, Franz Guenthner (eds.) — Handbook of Philosophical Logic. Volume III: Alternatives in Classical Logic

Najčešći pojmovi