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

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


This company is amazing; not only is it is a great opportunity to get books and review them but everyone is so friendly and supportive!

Jemma Rubens, age 10

I think Lovereading4kids is an amazing company because of the friendly staff and the fabulous chance to read great books before publication.

Adam Graham

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

Love “Lovereading4kids” as my son gets to hear about & read new books before his mates which keeps him interested in reading=a very happy Mum

Liz Evans

It is THE website to use for narrowing down your search for any book. Definitely knocks the socks off any other book review website.

Nickey and Tomasz Hawryszczuk

It’s a community united by a passion for books and promoting the best there is in children’s literature.

Sam Bateman and family

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

Erica Motoc, age 7
Lovereading

Lovereading 4 schools