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


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


88 pages


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


Publication date

31st December 1995



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

Rachel Bridgeman

I love lovereading4kids because I’ve read amazing books I would never have picked up, and its opened doors to new genre’s I now love.

Harriet Cunningham

I love Lovereading as it provides an honest opinion and showcases a range of fiction. Suited to both parents & kids alike, it’s a must-use.

Georgie Rowe – age 16

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

LoveReading4Kids is a modern and creative way of emphasising the value and importance of books in this digital age #booksforlife

Amrit Bunet – Teen

Writing reviews help the children with their literacy skills and we always read the books together which gives us good quality family time!

Cat Bisland (on behalf of the Bi

It is fantastic, you get to read lots of books and you always find something new and amazing in them.

Erica Motoc, age 7

We love Lovereading4kids because they put books in front of us we wouldn’t otherwise have read. They make us more adventurous readers!

Emily Jacques

Lovereading 4 schools