Studies in Constructive Mathematics and Mathematical Logic by A. O. Slisenko
  

Studies in Constructive Mathematics and Mathematical Logic

Written by A. O. Slisenko
Illustrated by
Part of the Seminars in Mathematics Series

RRP £72.00

Synopsis

Studies in Constructive Mathematics and Mathematical Logic by A. O. Slisenko

Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus .. 47 G. E. Mints Variation in the Deduction Search Tactics in Sequential Calculus . . . . . . . . . . . . . . . . .. . . 52 . . . G. E. Mints Imbedding Operations Associated with Kripke's Semantics . . . . . . . . . . . . . . . . . . .. . . 60 . . . .

About the Author

Other Formats

Book Info

Format

Hardback
88 pages

Author

A. O. Slisenko
More books by A. O. Slisenko

Publisher

Kluwer Academic/Plenum Publishers an imprint of Springer Science+Business Media

Publication date

31st December 1995

ISBN

9780306188046


We love Lovereading as my 5 year old loves to read new books before anyone else has a chance, she says it makes reading exciting!

Tracey Chorley

I am so pleased to have signed my kids up as they are reading a much wider range of books and even choosing books out of their comfort zone.

Angela East

Lovereading4kids is great, we get books really early never late. We love to read and review, and think you would like it too. The excitement

Jasmine Harris-Hart, age 12

It’s really exciting to read and review new books, thrilling to see my reviews online and I love finding the final published copies on sale.

Sam Harper – age 10

We love Lovereading4kids because it promotes reading choices, new authors and a sense of community for children of all ages!

Rachel Bridgeman

I love finding new books to read. My mummy and me look at the new ones coming out. I have written reviews of some of them!

Jessica Cobbin – age 7

It gives me a chance to read types of books that I would not normally try, and it motivates me to read every night to finish it!

Alice Horncastle, age 14

I have told all my friends, family & teachers to see for themselves just how great the site is. Without fail, they are hugely impressed.

Alexander Boxall – age 11
Lovereading

Lovereading 4 schools