Resultados de búsqueda para Mathematical Logic and Foundations.

1570 Resultados encontrados

Suscribirse a los resultados de búsqueda

Seleccionar todo

1 2 3 4 5 .. 131

000000000000DEFAULT

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Autor

Omodeo, Eugenio G. editor. Policriti, Alberto. editor. (orcid)0000-0001-8502-5896 SpringerLink (Online service)

Signatura topográfica preferida

BC1 -199

Full Text Available From Springer Nature Religion and Philosophy 2016 Packages

Formato:

Recursos electrónicos

Disponible:

Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics

Autor

Löwe, Benedikt. editor. Malzkorn, Wolfgang. editor. Räsch, Thoralf. editor. SpringerLink (Online service)

Signatura topográfica preferida

BC1 -199

Full Text Available From Springer Nature Mathematics and Statistics Archive Packages

Formato:

Recursos electrónicos

Disponible:

The Axiom of Constructibility A Guide for the Mathematician

Autor

Devlin, K. J. author. SpringerLink (Online service)

Signatura topográfica preferida

QA8.9 -10.3

Full Text Available From Springer Nature Mathematics and Statistics Archive Packages

Formato:

Recursos electrónicos

Disponible:

Recursion on the Countable Functionals

Autor

Normann, D. author. SpringerLink (Online service)

Signatura topográfica preferida

QA8.9 -10.3

Full Text Available From Springer Nature Mathematics and Statistics Archive Packages

Formato:

Recursos electrónicos

Disponible:

Injective Choice Functions

Autor

Holz, Michael. author. Podewski, Klaus-Peter. author. Steffens, Karsten. author. SpringerLink (Online service)

Signatura topográfica preferida

QA8.9 -10.3

Full Text Available From Springer Nature Mathematics and Statistics Archive Packages

Formato:

Recursos electrónicos

Disponible:

Techniques of Admissible Recursion Theory

Autor

Chong, C. T. author. SpringerLink (Online service)

Signatura topográfica preferida

QA8.9 -10.3

Full Text Available From Springer Nature Mathematics and Statistics Archive Packages

Formato:

Recursos electrónicos

Disponible:

Cylindric Set Algebras

Autor

Henkin, L. author. Monk, J. D. author. Tarski, A. author. Andreka, H. author. Nemeti, I. author.

Signatura topográfica preferida

QA8.9 -10.3

Full Text Available From Springer Nature Mathematics and Statistics Archive Packages

Formato:

Recursos electrónicos

Disponible:

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Autor

Troelstra, Anne S. editor. SpringerLink (Online service)

Signatura topográfica preferida

QA8.9 -10.3

Full Text Available From Springer Nature Mathematics and Statistics Archive Packages

Formato:

Recursos electrónicos

Disponible:

Nonstandard Analysis - Recent Developments

Autor

Hurd, A.E. editor. SpringerLink (Online service)

Signatura topográfica preferida

QA8.9 -10.3

Full Text Available From Springer Nature Mathematics and Statistics Archive Packages

Formato:

Recursos electrónicos

Disponible:

10.

Around Classification Theory of Models

Autor

Shelah, Saharon. author. SpringerLink (Online service)

Signatura topográfica preferida

QA8.9 -10.3

Full Text Available From Springer Nature Mathematics and Statistics Archive Packages

Formato:

Recursos electrónicos

Disponible:

11.

Decidable Theories Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

Autor

Siefkes, Dirk. author. Müller, Gert H. editor. SpringerLink (Online service)

Signatura topográfica preferida

QA8.9 -10.3

Full Text Available From Springer Nature Mathematics and Statistics Archive Packages

Formato:

Recursos electrónicos

Disponible:

12.

Théorie des ensembles

Autor

Bourbaki, N. author. SpringerLink (Online service)

Signatura topográfica preferida

QA8.9 -10.3

Full Text Available From Springer Nature Mathematics and Statistics 2006 Packages

Formato:

Recursos electrónicos

Disponible:

Seleccionar todo

1 2 3 4 5 .. 131

1570 Resultados encontrados

	{displayName}	{count}
{error}