Tableau systems for first order number theory and certain higher order theories

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Toledo, Sue (Author)
Format:	Knjiga
Jezik:	angleščina
Izdano:	Berlín Springer-Verlag 1975
Serija:	Lecture Notes in Mathematics, 447
Teme:	TEORIA DE PRUEBAS Teoría de números CALCULO DE PREDICADOS Lógica matemática Lógica simbólica
Oznake:	Označite Brez oznak, prvi označite!

Biblioteca de Matemática -

Podrobnosti zaloge Biblioteca de Matemática -
Signatura:	511.3 TOL 1975
Kopija 1300296	Prosto Rezerviraj