Тема, жанр, tags: maths,math,mathematical,mathematics,inference,proofs,logic,logical » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: maths,math,mathematical,mathematics,inference,proofs,logic,logical

book Logic

Logic

pdf

Author: Alexandra Getmanova
Language: English
Year: 1989

00

02.03.2024

0

0

book Effective Theories in Programming Practice

Effective Theories in Programming Practice

pdf

Author: Jayadev Misra
Language: English
Year: 2023

00

02.03.2024

0

0

book A Primer of Abstract Mathematics

A Primer of Abstract Mathematics

pdf

Author: Robert B. Ash
Language: English
Year: 1998

00

01.03.2024

0

0

book Program Proofs

epub

Author: K. Rustan M. Leino
Language: English
Year: 2023

00

15.02.2024

0

0

book Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

pdf

Author: Boro Sitnikovski
Language: English
Year: 2023

00

15.02.2024

0

0

book Discrete Mathematics, Second Edition (Instructor Solution Manual, Solutions)

Discrete Mathematics, Second Edition (Instructor Solution Manual, Solutions)

7z

Author: Norman Biggs
Language: English
Year: 2003

00

15.02.2024

0

0

book A Friendly Introduction to Abstract Algebra

A Friendly Introduction to Abstract Algebra

pdf

Author: Ryota Matsuura
Language: English
Year: 2022

00

13.02.2024

0

0

book Must Know High School Geometry

Must Know High School Geometry

pdf

Author: Allen Ma Amber Kuang
Language: English
Year: 2022

00

13.02.2024

0

0

book Transition to Advanced Mathematics

Transition to Advanced Mathematics

pdf

Author: Danilo R. Diedrichs Stephen Lovett
Language: English
Year: 2022

00

13.02.2024

0

0

book Proofs and Ideas: A Prelude to Advanced Mathematics

Proofs and Ideas: A Prelude to Advanced Mathematics

pdf

Author: B. Sethuraman
Language: English
Year: 2021

00

12.02.2024

0

0