Тема, жанр, tags: Logic Symbolic and mathematical -- Congresses,Mathematical logic and foundations,Logic Symbolic and » Page 17 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logic Symbolic and mathematical -- Congresses,Mathematical logic and foundations,Logic Symbolic and » Page 17

book Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003

Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003

djvu

Author: Viggo Stoltenberg-Hansen Jouko Väänänen (eds.)
Language: English
Year: 2006

00

29.01.2024

0

0

book A Friendly Introduction to Mathematical Logic

A Friendly Introduction to Mathematical Logic

pdf

Author: Christopher C. Leary Lars Kristiansen
Language: English
Year: 2015

00

29.01.2024

0

0

book Proof-theoretic Semantics

Proof-theoretic Semantics

djvu

Author: Nissim Francez
Language: English
Year: 2015

00

29.01.2024

0

0

book Does Mathematical Study Develop Logical Thinking?: Testing the Theory of Formal Discipline

Does Mathematical Study Develop Logical Thinking?: Testing the Theory of Formal Discipline

pdf

Author: Matthew Inglis Nina Attridge
Language: English
Year: 2017

00

29.01.2024

0

0

book The Notre Dame Lectures: Lecture Notes in Logic, 18

The Notre Dame Lectures: Lecture Notes in Logic, 18

djvu

Author: Peter Cholak (eds.)
Language: English
Year: 2005

00

29.01.2024

0

0

book Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998

Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998

djvu

Author: Buss Samuel R., Hájek Petr, Pudlák Pavel (eds.)
Language: English
Year: 2000

00

29.01.2024

0

0

book A Concise Introduction to Pure Mathematics, Fourth Edition

A Concise Introduction to Pure Mathematics, Fourth Edition

pdf

Author: Liebeck Martin W
Language: English
Year: 2016

00

29.01.2024

0

0

book Alfred Tarski. Early work in Poland - geometry and teaching

Alfred Tarski. Early work in Poland - geometry and teaching

pdf

Author: Andrew McFarland Joanna McFarland James T. Smith Ivor Grattan-Guinness (eds.)
Language: English
Year: 2014

00

29.01.2024

0

0

book Hermann Gunther Graßmann (1809-1877): Visionary mathematician, scientist and neohumanist scholar

Hermann Gunther Graßmann (1809-1877): Visionary mathematician, scientist and neohumanist scholar

djvu

Author: Cohen Robert S., Schubring Gert (eds.)
Language: English
Year: 1996

00

29.01.2024

0

0

book Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics

Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics

pdf

Author: Robert Goldblatt
Language: English
Year: 2011

00

29.01.2024

0

0