Тема, жанр, tags: Mathematics,Logic,Logic Symbolic and mathematical » Page 16 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematics,Logic,Logic Symbolic and mathematical » Page 16

book Petr Hájek on Mathematical Fuzzy Logic

Petr Hájek on Mathematical Fuzzy Logic

pdf

Author: Franco Montagna (eds.)
Language: English
Year: 2015

00

29.01.2024

0

0

book David Makinson on classical methods for non-classical problems

David Makinson on classical methods for non-classical problems

pdf

Author: Hansson Sven Ove (eds.)
Language: English
Year: 2014

00

29.01.2024

0

0

book Temporal Logics in Computer Science: Finite-State Systems

Temporal Logics in Computer Science: Finite-State Systems

pdf

Author: Stéphane Demri Valentin Goranko Martin Lange
Language: English
Year: 2016

00

29.01.2024

0

0

book Proofs and Refutations: The Logic of Mathematical Discovery

Proofs and Refutations: The Logic of Mathematical Discovery

pdf

Author: Imre Lakatos John Worrall Elie Zahar
Language: English
Year: 2015

00

29.01.2024

0

0

book Dualities for Structures of Applied Logics

Dualities for Structures of Applied Logics

djvu

Author: Ewa Orlowska Anna Maria Radzikowska Ingid Rewitzky
Language: English
Year: 2015

00

29.01.2024

0

0

book Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics

Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics

pdf

Author: Asa Hirvonen Asa Hirvonen Juha Kontinen Roman Kossak Andres Villaveces (eds.)
Language: English
Year: 2015

00

29.01.2024

1

0

book Discrete structures, logic and computability

Discrete structures, logic and computability

pdf

Author: Hein James L
Language: English
Year: 2017

00

29.01.2024

0

0

book Forcing, Iterated Ultrapowers, and Turing Degrees

Forcing, Iterated Ultrapowers, and Turing Degrees

pdf

Author: Chong Chi-Tat, Feng Qi, Slaman Theodore Allen, Woodin W. Hugh, Yang Yue (eds.)
Language: English
Year: 2016

00

29.01.2024

0

0

book Logical Studies of Paraconsistent Reasoning in Science and Mathematics

Logical Studies of Paraconsistent Reasoning in Science and Mathematics

pdf

Author: Holger Andreas Peter Verdée (eds.)
Language: English
Year: 2016

00

29.01.2024

0

0

book Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001

djvu

Author: Matthias Baaz Sy-David Friedman Jan Krajícek (eds.)
Language: English
Year: 2005

00

29.01.2024

1

0